ReVISE: Learning to Refine at Test-Time via Intrinsic Self-Verification
On the map: LLM reasoning → Test-time compute and efficient thinking
Abstract (arXiv)
Self-awareness, i.e., the ability to assess and correct one's own generation, is a fundamental aspect of human intelligence, making its replication in large language models (LLMs) an important yet challenging task. Previous works tackle this by employing extensive reinforcement learning or rather relying on large external verifiers. In this work, we propose Refine via Intrinsic Self-Verification (ReVISE), an efficient and effective framework that enables LLMs to self-correct their outputs through self-verification. The core idea of ReVISE is to enable LLMs to verify their reasoning processes and continually rethink reasoning trajectories based on its verification. We introduce a structured curriculum based upon online preference learning to implement this efficiently. Specifically, as ReVISE involves two challenging tasks (i.e., self-verification and reasoning correction), we tackle each task sequentially using curriculum learning, collecting both failed and successful reasoning paths to construct preference pairs for efficient training. During inference, our approach enjoys natural test-time scaling by integrating self-verification and correction capabilities, further enhanced by our proposed confidence-aware decoding mechanism. Our experiments on various reasoning tasks demonstrate that ReVISE achieves efficient self-correction and significantly improves reasoning performance.
Key facts. Cited by 35 papers in the map (data through 7 Oct 2026). Placed in Test-time compute and efficient thinking, one of 17 directions in LLM reasoning. Builds on 38 of its 42 references that are in the map. First posted on arXiv 20 Feb 2025.
Builds on
38 of 42 references.
Closest ancestors · 10
Same direction, newest first
- 2024Improving LLM Reasoning through Scaling Inference Computation with Collaborative Verification5 Oct
- 2024Training Language Models to Self-Correct via Reinforcement Learning19 Sep
- 2024Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters6 Aug
- 2024V-STaR: Training Verifiers for Self-Taught Reasoners9 Feb
- 2024ReFT: Reasoning with Reinforced Fine-Tuning17 Jan
- 2023Large Language Models Cannot Self-Correct Reasoning Yet3 Oct
- 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Models17 May
- 2023Self-Refine: Iterative Refinement with Self-Feedback30 Mar
- 2022Large Language Models Can Self-Improve20 Oct
- 2022STaR: Bootstrapping Reasoning With Reasoning28 Mar
Other references · 28
- 2020Language Models are Few-Shot Learnerscited by 32,199
- 2024The Llama 3 Herd of Modelscited by 14,192
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2023Direct Preference Optimization: Your Language Model is Secretly a Reward Modelcited by 7,916
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,601
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
- 2022Large Language Models are Zero-Shot Reasonerscited by 4,323
- 2023Reflexion: Language Agents with Verbal Reinforcement Learningcited by 4,064
- 2023Let's Verify Step by Stepcited by 3,598
- 2021Program Synthesis with Large Language Modelscited by 3,509
- 2022Emergent Abilities of Large Language Modelscited by 2,483
- 2023MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Modelscited by 724
16 more
- 2024Improve Mathematical Reasoning in Language Models by Automated Process Supervisioncited by 426
- 2023Scaling Relationship on Learning Mathematical Reasoning with Large Language Modelscited by 417
- 2024CodeAgent: Enhancing Code Generation with Tool-Integrated Agent Systems for Real-World Repo-level Coding Challengescited by 278
- 2024Trial and Error: Exploration-Based Trajectory Optimization for LLM Agentscited by 194
- 2023Speculative Decoding with Big Little Decodercited by 163
- 2024Recursive Introspection: Teaching Language Model Agents How to Self-Improvecited by 162
- 2024The pitfalls of next-token predictioncited by 156
- 2024Accessing GPT-4 level Mathematical Olympiad Solutions via Monte Carlo Tree Self-refine with LLaMa-3 8Bcited by 156
- 2024Provably Mitigating Overoptimization in RLHF: Your SFT Loss is Implicitly an Adversarial Regularizercited by 109
- 2024When Search Engine Services meet Large Language Models: Visions and Challengescited by 59
- 2024Backtracking Improves Generation Safetycited by 31
- 2024Do LLMs Exhibit Human-Like Reasoning? Evaluating Theory of Mind in LLMs for Open-Ended Responsescited by 22
- 2023Artificial Intelligence-Enabled Intelligent Assistant for Personalized and Adaptive Learning in Higher Educationcited by 17
- 2024A Human-Like Reasoning Framework for Multi-Phases Planning Task with Large Language Modelscited by 12
- 2024System-2 Mathematical Reasoning via Enriched Instruction Tuningcited by 7
- 2024System 2 Reasoning Capabilities Are Nighcited by 2
Built on by
Citing papers per year: 2025: 18; 2026: 17.
35 papers.
Sort:
By area:
- 2025Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Modelscited by 381
- 2025DiMo-GUI: Advancing Test-time Scaling in GUI Grounding via Modality-Aware Visual Reasoningcited by 29
- 2025Thinking Machines: A Survey of LLM based Reasoning Strategiescited by 25
- 2025Variation in Verification: Understanding Verification Dynamics in Large Language Modelscited by 18
- 2025Think Clearly: Improving Reasoning via Redundant Token Pruningcited by 17
- 2025MARS: toward more efficient multi-agent collaboration for LLM reasoningcited by 13
- 2025ReGUIDE: Data Efficient GUI Grounding via Spatial Reasoning and Searchcited by 12
- 2026CoVerRL: Breaking the Consensus Trap in Label-Free Reasoning via Generator-Verifier Co-Evolutioncited by 9
- 2025Efficient LLM Collaboration via Planningcited by 7
- 2025AgentAsk: Multi-Agent Systems Need to Askcited by 6
- 2025Monitor-Generate-Verify (MGV): Formalising Metacognitive Theory for Language Model Reasoningcited by 4
- 2026Zoom to Essence: Trainless GUI Grounding by Inferring upon Interface Elementscited by 4
23 more
- 2026On the Generalization Gap in Self-Evolving Language Model Reasoningcited by 4
- 2025Self-Correcting Code Generation Using Small Language Modelscited by 3
- 2025Before you <think>, monitor: Implementing Flavell's metacognitive framework in LLMscited by 3
- 2025Mind the Gap: Bridging Thought Leap for Improved Chain-of-Thought Tuningcited by 2
- 2025Scalable and Robust LLM Unlearning by Correcting Responses with Retrieved Exclusionscited by 2
- 2025SDA: Steering-Driven Distribution Alignment for Open LLMs without Fine-Tuningcited by 2
- 2026Self-Debias: Self-correcting for Debiasing Large Language Modelscited by 2
- 2025Test-Time Scaling Strategies for Generative Retrieval in Multimodal Conversational Recommendationscited by 1
- 2026Beyond In-Domain Detection: SpikeScore for Cross-Domain Hallucination Detectioncited by 1
- 2026Beyond Surface Imitation: Contrastive Modeling for Reasoning Path Alignment in Multimodal In-Context Learningcited by 1
- 2025Reasoning With a Star: A Heliophysics Dataset and Benchmark for Agentic Scientific Reasoningcited by 0
- 2025CADMorph: Geometry-Driven Parametric CAD Editing via a Plan-Generate-Verify Loopcited by 0
- 2026Value-Aware Numerical Representations for Transformer Language Modelscited by 0
- 2026MarkovScale: Towards Optimal Sequential Scaling at Inference Timecited by 0
- 2026Internalizing Outcome Supervision into Process Supervision: A New Paradigm for Reinforcement Learning for Reasoningcited by 0
- 2026Primal Generation, Dual Judgment: Self-Training from Test-Time Scalingcited by 0
- 2026SOLAR: A Self-Optimizing Open-Ended Autonomous Agent for Lifelong Learning and Continual Adaptationcited by 0
- 2026REVES: REvision and VErification--Augmented Training for Test-Time Scalingcited by 0
- 2026Spectral Origins of the Self-Correction Blind Spot in Autoregressive Generationcited by 0
- 2026Refining Over Resampling: Test-Time Self-Correction for LLM Reasoningcited by 0
- 2026DCGC: Draft-Conditioned Global Correction for Complex Reasoning with Masked Diffusion Modelscited by 0
- 2026CERA-MoA: Co-Evolving Routing Mechanisms with Continually Learning LLM Agentscited by 0
- 2026Provable Test-Time Scaling for Beam Search in LLM Reasoningcited by 0
- 2026Provable Test-Time Scaling for Beam Search in LLM Reasoning29 Sep 2026
- 2026CERA-MoA: Co-Evolving Routing Mechanisms with Continually Learning LLM Agents16 Sep 2026
- 2026Beyond Surface Imitation: Contrastive Modeling for Reasoning Path Alignment in Multimodal In-Context Learning9 Sep 2026
- 2026DCGC: Draft-Conditioned Global Correction for Complex Reasoning with Masked Diffusion Models26 Aug 2026
- 2026Refining Over Resampling: Test-Time Self-Correction for LLM Reasoning6 Aug 2026
- 2026Spectral Origins of the Self-Correction Blind Spot in Autoregressive Generation9 Jul 2026
- 2026REVES: REvision and VErification--Augmented Training for Test-Time Scaling17 Jun 2026
- 2026On the Generalization Gap in Self-Evolving Language Model Reasoning31 May 2026
- 2026Primal Generation, Dual Judgment: Self-Training from Test-Time Scaling11 May 2026
- 2026Internalizing Outcome Supervision into Process Supervision: A New Paradigm for Reinforcement Learning for Reasoning19 Apr 2026
- 2026Self-Debias: Self-correcting for Debiasing Large Language Models9 Apr 2026
- 2026SOLAR: A Self-Optimizing Open-Ended Autonomous Agent for Lifelong Learning and Continual Adaptation23 Mar 2026
23 more
- 2026CoVerRL: Breaking the Consensus Trap in Label-Free Reasoning via Generator-Verifier Co-Evolution18 Mar 2026
- 2026Zoom to Essence: Trainless GUI Grounding by Inferring upon Interface Elements15 Mar 2026
- 2026MarkovScale: Towards Optimal Sequential Scaling at Inference Time1 Feb 2026
- 2026Beyond In-Domain Detection: SpikeScore for Cross-Domain Hallucination Detection27 Jan 2026
- 2026Value-Aware Numerical Representations for Transformer Language Models14 Jan 2026
- 2025CADMorph: Geometry-Driven Parametric CAD Editing via a Plan-Generate-Verify Loop12 Dec 2025
- 2025Reasoning With a Star: A Heliophysics Dataset and Benchmark for Agentic Scientific Reasoning23 Nov 2025
- 2025SDA: Steering-Driven Distribution Alignment for Open LLMs without Fine-Tuning20 Nov 2025
- 2025Monitor-Generate-Verify (MGV): Formalising Metacognitive Theory for Language Model Reasoning6 Nov 2025
- 2025Before you <think>, monitor: Implementing Flavell's metacognitive framework in LLMs18 Oct 2025
- 2025AgentAsk: Multi-Agent Systems Need to Ask8 Oct 2025
- 2025Scalable and Robust LLM Unlearning by Correcting Responses with Retrieved Exclusions30 Sep 2025
- 2025MARS: toward more efficient multi-agent collaboration for LLM reasoning24 Sep 2025
- 2025Variation in Verification: Understanding Verification Dynamics in Large Language Models22 Sep 2025
- 2025Test-Time Scaling Strategies for Generative Retrieval in Multimodal Conversational Recommendations25 Aug 2025
- 2025Think Clearly: Improving Reasoning via Redundant Token Pruning17 Jun 2025
- 2025Efficient LLM Collaboration via Planning13 Jun 2025
- 2025DiMo-GUI: Advancing Test-time Scaling in GUI Grounding via Modality-Aware Visual Reasoning12 Jun 2025
- 2025Self-Correcting Code Generation Using Small Language Models29 May 2025
- 2025ReGUIDE: Data Efficient GUI Grounding via Spatial Reasoning and Search21 May 2025
- 2025Mind the Gap: Bridging Thought Leap for Improved Chain-of-Thought Tuning20 May 2025
- 2025Thinking Machines: A Survey of LLM based Reasoning Strategies13 Mar 2025
- 2025Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models12 Mar 2025
- 2025Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Modelscited by 381
- 2025DiMo-GUI: Advancing Test-time Scaling in GUI Grounding via Modality-Aware Visual Reasoningcited by 29
- 2025Thinking Machines: A Survey of LLM based Reasoning Strategiescited by 25
- 2025Think Clearly: Improving Reasoning via Redundant Token Pruningcited by 17
- 2025MARS: toward more efficient multi-agent collaboration for LLM reasoningcited by 13
- 2025ReGUIDE: Data Efficient GUI Grounding via Spatial Reasoning and Searchcited by 12
- 2026CoVerRL: Breaking the Consensus Trap in Label-Free Reasoning via Generator-Verifier Co-Evolutioncited by 9
- 2025Efficient LLM Collaboration via Planningcited by 7
- 2025Monitor-Generate-Verify (MGV): Formalising Metacognitive Theory for Language Model Reasoningcited by 4
- 2026On the Generalization Gap in Self-Evolving Language Model Reasoningcited by 4
- 2025Before you <think>, monitor: Implementing Flavell's metacognitive framework in LLMscited by 3
- 2025Mind the Gap: Bridging Thought Leap for Improved Chain-of-Thought Tuningcited by 2
12 most cited of 24 All 24 (JSON)
- 2026Provable Test-Time Scaling for Beam Search in LLM Reasoning29 Sep 2026
- 2026Beyond Surface Imitation: Contrastive Modeling for Reasoning Path Alignment in Multimodal In-Context Learning9 Sep 2026
- 2026DCGC: Draft-Conditioned Global Correction for Complex Reasoning with Masked Diffusion Models26 Aug 2026
- 2026Refining Over Resampling: Test-Time Self-Correction for LLM Reasoning6 Aug 2026
- 2026REVES: REvision and VErification--Augmented Training for Test-Time Scaling17 Jun 2026
- 2026On the Generalization Gap in Self-Evolving Language Model Reasoning31 May 2026
- 2026Primal Generation, Dual Judgment: Self-Training from Test-Time Scaling11 May 2026
- 2026Internalizing Outcome Supervision into Process Supervision: A New Paradigm for Reinforcement Learning for Reasoning19 Apr 2026
- 2026Self-Debias: Self-correcting for Debiasing Large Language Models9 Apr 2026
- 2026CoVerRL: Breaking the Consensus Trap in Label-Free Reasoning via Generator-Verifier Co-Evolution18 Mar 2026
- 2026MarkovScale: Towards Optimal Sequential Scaling at Inference Time1 Feb 2026
- 2026Value-Aware Numerical Representations for Transformer Language Models14 Jan 2026
12 newest of 24 All 24 (JSON)
- 2025Variation in Verification: Understanding Verification Dynamics in Large Language Modelscited by 18
- 2025Self-Correcting Code Generation Using Small Language Modelscited by 3
- 2026Beyond In-Domain Detection: SpikeScore for Cross-Domain Hallucination Detectioncited by 1
- 2025CADMorph: Geometry-Driven Parametric CAD Editing via a Plan-Generate-Verify Loopcited by 0
- 2026Spectral Origins of the Self-Correction Blind Spot in Autoregressive Generationcited by 0
- 2026Spectral Origins of the Self-Correction Blind Spot in Autoregressive Generation9 Jul 2026
- 2026Beyond In-Domain Detection: SpikeScore for Cross-Domain Hallucination Detection27 Jan 2026
- 2025CADMorph: Geometry-Driven Parametric CAD Editing via a Plan-Generate-Verify Loop12 Dec 2025
- 2025Variation in Verification: Understanding Verification Dynamics in Large Language Models22 Sep 2025
- 2025Self-Correcting Code Generation Using Small Language Models29 May 2025
Similar, not cited
Close in wording, no citation either way
- 2026SVR: Self-Verifying Refinement via Joint Verdict-Confidence Reinforcement Learning for Adaptive Test-Time Compute
- 2025PAG: Multi-Turn Reinforced LLM Self-Correction with Policy as Generative Verifier
- 2026Training Large Language Models for Self-Explanation Faithfulness
- 2026Learning to Self-Verify Makes Language Models Better Reasoners
- 2024Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models
- 2026A Training-Free Regeneration Paradigm: Contrastive Reflection Memory Guided Self-Verification and Self-Improvement
- 2025Evolving LLMs' Self-Refinement Capability via Synergistic Training-Inference Optimization
- 2024Towards Intrinsic Self-Correction Enhancement in Monte Carlo Tree Search Boosted Reasoning via Iterative Preference Learning