Expertini Research Research

Browse Research Papers

3,628+ open-access research outputs.

✕ Clear
🔍 osbert bastani
Showing 3628 results for "osbert bastani"
Mathematics Preprint PDF DOI

Hallucination, Abstention, and Recursive Inseparability

Takuma Imamura · 2026

The impossibility of eliminating hallucination, understood here as incorrect definite answers, in sufficiently expressive yes-or-no formal domains is an immediate consequence of classical undecidabili…

Read Paper →
AI & Data Science Preprint PDF DOI

Geometry-Calibrated Conformal Abstention for Language Models

Rui Xu, Yi Chen, Sihong Xie, Hui Xiong · 2026

When language models lack relevant knowledge for a given query, they frequently generate plausible responses that can be hallucinations, rather than admitting being agnostic about the answer. Retraini…

Read Paper →
AI & Data Science Preprint PDF DOI

Learning When to Remember: Risk-Sensitive Contextual Bandits for Abstention-Aware Memory Retrieval in LLM-Based Coding Agents

Mehmet Iscan · 2026

Large language model (LLM)-based coding agents increasingly rely on external memory to reuse prior debugging experience, repair traces, and repository-local operational knowledge. However, retrieved m…

Read Paper →
Engineering Preprint PDF DOI

SPG-Codec: Exploring the Role and Boundaries of Semantic Priors in Ultra-Low-Bitrate Neural Speech Coding

Mingyu Zhao, Zijian Lin, Kun Wei, Zhiyong Wu · 2026

Conventional neural speech codecs suffer from severe intelligibility degradation at ultra-low bitrates, where the bottleneck transitions from acoustic distortion to semantic loss. To address this issu…

Read Paper →
Computer Science Preprint PDF DOI

FGDM: Reasoning Aware Multi-Agentic Framework for Software Bug Detection using Chain of Thought and Tree of Thought Prompting

Srita Padmanabhuni, Bhargavi Karuturi, Jerusha Karen Indupalli, Santhan Reddy Chilla, Vivek Yelleti · 2026

Deep Learning methods are becoming prominent in automated software bug detection; however, they lack the global understanding of the given code. Consequently, their performance tends to degrade, espec…

Read Paper →
Engineering Preprint PDF DOI

Pedestrians play chicken with an autonomous vehicle

Rakshit Soni, Charles Fox · 2026

Automated vehicles (AVs) are commonly programmed to yield unconditionally to pedestrians in the interest of safety. However, this design choice can give rise to the Freezing Robot Problem in which ped…

Read Paper →
Computer Science Preprint PDF DOI

RAS: a Reliability Oriented Metric for Automatic Speech Recognition

Wenbin Huang, Yuhang Qiu, Bohan Li, Yiwei Guo, Jing Peng, Hankun Wang, Xie Chen, Kai Yu · 2026

Automatic speech recognition systems often produce confident yet incorrect transcriptions under noisy or ambiguous conditions, which can be misleading for both users and downstream applications. Stand…

Read Paper →
AI & Data Science Preprint PDF DOI

Credal Concept Bottleneck Models for Epistemic-Aleatoric Uncertainty Decomposition

Tanmoy Mukherjee, Thomas Bailleux, Pierre Marquis, Zied Bouraoui · 2026

Concept Bottleneck Models (CBMs) predict through human-interpretable concepts, but they typically output point concept probabilities that conflate epistemic uncertainty (reducible model underspecifica…

Read Paper →
AI & Data Science Preprint PDF DOI

Query-Efficient Quantum Approximate Optimization via Graph-Conditioned Trust Regions

Molena Huynh · 2026

In low-depth implementations of the Quantum Approximate Optimization Algorithm (QAOA), the dominant cost is often the number of objective evaluations rather than circuit depth. We introduce a graph-co…

Read Paper →
Mathematics Preprint PDF DOI

Finite-sample Borel--Cantelli inequalities under mixing conditions

Chatchawan Panraksa · 2026

We prove explicit finite-$N$ lower bounds for $\mathbb P(\bigcup_{k=1}^N A_k)$ when the $\sigma$-algebras generated by an event sequence satisfy quantitative $\varphi$- or $\alpha$-mixing bounds. The …

Read Paper →
Mathematics Preprint PDF DOI

Spectral versus interpolation norms in tracial nonassociative $\mathrm{L}^p$-spaces

Cedric Arhancet, Lei Li · 2026

We investigate the metric structure of nonassociative $\mathrm{L}^p$-spaces associated with tracial $\mathrm{JW}^*$-algebras. While noncommutative $\mathrm{L}^p$-spaces arising from von Neumann algebr…

Read Paper →
Computer Science Preprint PDF DOI

FlashSpread: IO-Aware GPU Simulation of Non-Markovian Epidemic Dynamics via Kernel Fusion

Heman Shakeri, Behnaz Moradi-Jamei, Aram Vajdi, Ehsan Ardjmand · 2026

Non-Markovian (renewal) epidemic simulation on multi-million-node contact networks is essential for realistic forecasting under general age-dependent holding-time distributions (log-normal, Weibull, E…

Read Paper →
AI & Data Science Preprint PDF DOI

An effective variant of the Hartigan $k$-means algorithm

Francois Clement, Stefan Steinerberger · 2026

The k-means problem is perhaps the classical clustering problem and often synonymous with Lloyd's algorithm (1957). It has become clear that Hartigan's algorithm (1975) gives better results in almost …

Read Paper →
AI & Data Science Preprint PDF DOI

Phonological Subspace Collapse Is Aetiology-Specific and Cross-Lingually Stable: Evidence from 3,374 Speakers

Bernard Muller, Antonio Armando Ortiz Barranon, LaVonne Roberts · 2026

We previously introduced a training-free method for dysarthria severity assessment based on d-prime separability of phonological feature subspaces in frozen self-supervised speech representations, val…

Read Paper →
AI & Data Science Preprint PDF DOI

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages

Michael Bouzinier, Sergey Trifonov, Michael Chumack, Eugenia Lvova, Dmitry Etin · 2026

\textbf{Background:} Regulatory frameworks for AI in healthcare, including the EU AI Act and FDA guidance on AI/ML-based medical devices, require clinical decision support to demonstrate not only accu…

Read Paper →
Computer Science Preprint PDF DOI

Diagnosable ColBERT: Debugging Late-Interaction Retrieval Models Using a Learned Latent Space as Reference

Francois Remy · 2026

Reliable biomedical and clinical retrieval requires more than strong ranking performance: it requires a practical way to find systematic model failures and curate the training evidence needed to corre…

Read Paper →
History & Literature Preprint PDF DOI

Comment on "Specific heat of an ideal Bose gas above the Bose condensation temperature," [Am. J. Phys. 72(9), 1193--1194 (2004)]

Frank Wang · 2026

We examine the English translation of Albert Einstein's groundbreaking 1925 paper on Bose-Einstein condensation. We guide readers to execute the calculations Einstein outlined for the specific heat ab…

Read Paper →
AI & Data Science Preprint PDF DOI

Beyond "I Don't Know": Evaluating LLM Self-Awareness in Discriminating Data and Model Uncertainty

Jingyi Ren, Ante Wang, Yunghwei Lai, Xiaolong Wang, Linlu Gong, Weitao Li, Weizhi Ma, Yang Liu · 2026

Reliable Large Language Models (LLMs) should abstain when confidence is insufficient. However, prior studies often treat refusal as a generic "I don't know'', failing to distinguish input-level ambigu…

Read Paper →
AI & Data Science Preprint PDF DOI

Abstain-R1: Calibrated Abstention and Post-Refusal Clarification via Verifiable RL

Skylar Zhai, Jingcheng Liang, Dongyeop Kang · 2026

Reinforcement fine-tuning improves the reasoning ability of large language models, but it can also encourage them to answer unanswerable queries by guessing or hallucinating missing information. Exist…

Read Paper →
AI & Data Science Preprint PDF DOI

Bridging Coarse and Fine Recognition: A Hybrid Approach for Open-Ended Multi-Granularity Object Recognition in Interactive Educational Games

Hanling Yi, Feng Lin, Mao Luo, Yifan Yang, Xiaotian Yu, Rong Xiao · 2026

Recent advances in Multimodal Large Language Models (MLLMs) have enabled open-ended object recognition, yet they struggle with fine-grained tasks. In contrast, CLIP-style models excel at fine-grained …

Read Paper →
Page 1 of 182 Next →