The Hallucination Tax of Reinforcement Finetuning
Linxin Song, Taiwei Shi, Jieyu Zhao
TL;DR
This paper identifies a hallucination tax in reinforcement finetuning (RFT), where LLMs become overconfident on unanswerable questions. It introduces Synthetic Unanswerable Math (SUM), a dataset of implicitly unanswerable math problems, to evaluate and train abstention behavior; SUM can be mixed into RFT at modest levels (around $10\%$) to substantially restore appropriate refusals with minimal loss to solvable-task accuracy. The authors show that SUM-trained models learn to reason about their own uncertainty and generalize abstention to out-of-domain tasks, improving trustworthiness and robustness across both math and factual QA benchmarks. These findings offer a practical path to calibrate RFT for safer deployment by leveraging inference-time computation to acknowledge knowledge boundaries. The work also discusses limitations and future directions for balancing reasoning capability with epistemic humility in diverse domains.
Abstract
Reinforcement finetuning (RFT) has become a standard approach for enhancing the reasoning capabilities of large language models (LLMs). However, its impact on model trustworthiness remains underexplored. In this work, we identify and systematically study a critical side effect of RFT, which we term the hallucination tax: a degradation in refusal behavior causing models to produce hallucinated answers to unanswerable questions confidently. To investigate this, we introduce SUM (Synthetic Unanswerable Math), a high-quality dataset of unanswerable math problems designed to probe models' ability to recognize an unanswerable question by reasoning from the insufficient or ambiguous information. Our results show that standard RFT training could reduce model refusal rates by more than 80%, which significantly increases model's tendency to hallucinate. We further demonstrate that incorporating just 10% SUM during RFT substantially restores appropriate refusal behavior, with minimal accuracy trade-offs on solvable tasks. Crucially, this approach enables LLMs to leverage inference-time compute to reason about their own uncertainty and knowledge boundaries, improving generalization not only to out-of-domain math problems but also to factual question answering tasks.
