paper-with-me

홈 › Papers

One-Token Verification for Reasoning Correctness Estimation

2026-03-01 · Zhan Zhuang, Xiequn Wang, Zebin Chen, Feiyang Ye, Ying Wei, Kede Ma, Yu Zhang arxiv

Recent breakthroughs in large language models (LLMs) have led to notable successes in complex reasoning tasks, such as mathematical problem solving. A common strategy for improving performance is parallel thinking, in which multiple reasoning traces are generated and the final prediction is made using aggregation schemes like majority voting or best-of-$N$ decoding. However, two key challenges persist. First, multi-sample decoding incurs substantial inference latency, especially for long-form outputs. Second, effective mechanisms for reliably assessing the correctness of individual reasoning traces are still limited. To address these challenges, we introduce One-Token Verification (OTV), a computational method that estimates reasoning correctness in a single forward pass during generation. OTV is activated by a learnable token and integrated into the LLM via low-rank adaptation to probe internal reasoning signals through the key-value cache, supporting token-level correctness estimation at any stage of generation without disrupting primary reasoning. Experiments on mathematical reasoning benchmarks demonstrate that OTV consistently surpasses existing verifiers. Additionally, OTV reduces token usage by up to $90\%$ through correctness-guided early termination, prioritizing shorter, more reliable solutions.

📄 PDF Abstract BibTeX arXiv:2603.01025

Code (0)

등록된 구현이 없습니다.

Tasks

Mathematical Reasoning

Similar Papers 제목 키워드 기반

Token-Supervised Value Models for Enhancing Mathematical Reasoning Capabilities of Large Language Models

2024-07-12 · Jung Hyun Lee, June Yong Yang, Byeongho Heo, Dongyoon Han 외

Large Language Models (LLMs) have demonstrated impressive problem-solving capabilities in mathematics through step-by-step reasoning chains. However, they are susceptible to reasoning errors that impact the quality of su…

GSM8KMathMathematical Reasoning

Step Potential Advantage Estimation: Harnessing Intermediate Confidence and Correctness for Efficient Mathematical Reasoning

2026-01-07 · Fei Wu, Zhenrong Zhang, Qikai Chang, Jianshu Zhang 외 arxiv

Reinforcement Learning with Verifiable Rewards (RLVR) elicits long chain-of-thought reasoning in large language models (LLMs), but outcome-based rewards lead to coarse-grained advantage estimation. While existing approac…

Reinforcement LearningMathematical Reasoning

Reasoning Models Know When They're Right: Probing Hidden States for Self-Verification

2025-04-07 · Anqi Zhang, Yulin Chen, Jane Pan, Chen Zhao 외

Reasoning models have achieved remarkable performance on tasks like math and logical reasoning thanks to their ability to search during reasoning. However, they still suffer from overthinking, often performing unnecessar…

Logical ReasoningMath

Think Before You Accept: Semantic Reflective Verification for Faster Speculative Decoding

2025-05-24 · YiXuan Wang, Yijun Liu, Shiyu Ji, Yuzhuang Xu 외

Large language models (LLMs) suffer from high inference latency due to the auto-regressive decoding process. Speculative decoding accelerates inference by generating multiple draft tokens using a lightweight model and ve…

ENTRA: Entropy-Based Redundancy Avoidance in Large Language Model Reasoning

2026-01-12 · Ruichu Cai, Haopeng Du, Qingwen Lin, Yutong Chen 외 arxiv

Large Reasoning Models (LRMs) often suffer from overthinking, generating unnecessarily long reasoning chains even for simple tasks. This leads to substantial computational overhead with limited performance gain, primaril…

Reinforcement LearningMathematical Reasoning