AutoPSV: Automated Process-Supervised Verifier
On the map: LLM reasoning → Reasoning benchmarks and evaluation
Abstract (arXiv)
In this work, we propose a novel method named Automated Process-Supervised Verifier (textbftextscAutoPSV) to enhance the reasoning capabilities of large language models (LLMs) by automatically annotating the reasoning steps. textscAutoPSV begins by training a verification model on the correctness of final answers, enabling it to generate automatic process annotations. This verification model assigns a confidence score to each reasoning step, indicating the probability of arriving at the correct final answer from that point onward. We detect relative changes in the verification's confidence scores across reasoning steps to automatically annotate the reasoning process, enabling error detection even in scenarios where ground truth answers are unavailable. This alleviates the need for numerous manual annotations or the high computational costs associated with model-induced annotation approaches. We experimentally validate that the step-level confidence changes learned by the verification model trained on the final answer correctness can effectively identify errors in the reasoning steps. We demonstrate that the verification model, when trained on process annotations generated by textscAutoPSV, exhibits improved performance in selecting correct answers from multiple LLM-generated outputs. Notably, we achieve substantial improvements across five datasets in mathematics and commonsense reasoning. The source code of textscAutoPSV is available at urlhttps://github.com/rookie-joe/AutoPSV.
Key facts. Cited by 28 papers in the map (data through 7 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 47 of its 66 references that are in the map. First posted on arXiv 27 May 2024.
Builds on
47 of 66 references.
Closest ancestors · 2
Same direction, newest first
- 2022Making Large Language Models Better Reasoners with Step-Aware Verifier6 Jun
- 2022The Unreliability of Explanations in Few-shot Prompting for Textual Reasoning6 May
Other references · 45
- 2020Language Models are Few-Shot Learnerscited by 32,199
- 2023GPT-4 Technical Reportcited by 18,132
- 2022Training language models to follow instructions with human feedbackcited by 15,712
- 2023Llama 2: Open Foundation and Fine-Tuned Chat Modelscited by 12,865
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 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
- 2019HellaSwag: Can a Machine Really Finish Your Sentence?cited by 4,018
33 more
- 2023Let's Verify Step by Stepcited by 3,598
- 2023Self-Refine: Iterative Refinement with Self-Feedbackcited by 3,317
- 2023Qwen Technical Reportcited by 3,273
- 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Modelscited by 3,155
- 2022Scaling Instruction-Finetuned Language Modelscited by 2,997
- 2024Mixtral of Expertscited by 1,785
- 2023WizardLM: Empowering large pre-trained language models to follow complex instructionscited by 1,116
- 2022Large Language Models Are Human-Level Prompt Engineerscited by 1,020
- 2023Large Language Models Cannot Self-Correct Reasoning Yetcited by 965
- 2023Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotationscited by 895
- 2022Solving math word problems with process- and outcome-based feedbackcited by 871
- 2023CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquingcited by 751
- 2023WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instructcited by 618
- 2023Textbooks Are All You Needcited by 561
- 2023Fine-Grained Human Feedback Gives Better Rewards for Language Model Trainingcited by 399
- 2022Complexity-Based Prompting for Multi-Step Reasoningcited by 387
- 2023Orca: Progressive Learning from Complex Explanation Traces of GPT-4cited by 369
- 2022RARR: Researching and Revising What Language Models Say, Using Language Modelscited by 286
- 2022Generating Sequences by Learning to Self-Correctcited by 271
- 2023Automatically Correcting Large Language Models: Surveying the landscape of diverse self-correction strategiescited by 236
- 2023LLM Self Defense: By Self Examination, LLMs Know They Are Being Trickedcited by 226
- 2023Self-Evaluation Guided Beam Search for Reasoningcited by 195
- 2022Re3: Generating Longer Stories With Recursive Reprompting and Revisioncited by 193
- 2022Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanationscited by 159
- 2024LLaVA-Phi: Efficient Multi-Modal Assistant with Small Language Modelcited by 128
- 2023Large Language Models as Analogical Reasonerscited by 107
- 2023Let's reward step by step: Step-Level reward model as the Navigators for Reasoningcited by 96
- 2023Improving Language Models via Plug-and-Play Retrieval Feedbackcited by 87
- 2023Bridging the Gap: A Survey on Integrating (Human) Feedback for Natural Language Generationcited by 55
- 2024Multi-step Problem Solving Through a Verifier: An Empirical Analysis on Model-induced Process Supervisioncited by 51
- 2023Learning to Simulate Natural Language Feedback for Interactive Semantic Parsingcited by 19
- 2024Learning From Correctness Without Prompting Makes LLM Efficient Reasonercited by 15
- 2024YODA: Teacher-Student Progressive Learning for Language Modelscited by 10
Built on by
Citing papers per year: 2024: 4; 2025: 17; 2026: 7.
28 papers.
Sort:
By area:
- 2025From System 1 to System 2: A Survey of Reasoning Large Language Modelscited by 319
- 2024Process Reward Model with Q-Value Rankingscited by 78
- 2024AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modelingcited by 76
- 2025Boosting the Generalization and Reasoning of Vision Language Models with Curriculum Reinforcement Learningcited by 71
- 2025A Comprehensive Survey of Reward Models: Taxonomy, Applications, Challenges, and Futurecited by 53
- 2025TreeRPO: Tree Relative Policy Optimizationcited by 45
- 2025CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Rewardcited by 39
- 2024MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMscited by 30
- 2024FormalAlign: Automated Alignment Evaluation for Autoformalizationcited by 19
- 2025Latent Thinking Optimization: Your Latent Reasoning Language Model Secretly Encodes Reward Signals in Its Latent Thoughtscited by 18
- 2025Athena: Enhancing Multimodal Reasoning with Data-efficient Process Reward Modelscited by 16
- 2025Generative AI Act II: Test Time Scaling Drives Cognition Engineeringcited by 14
16 more
- 2025Linking Process to Outcome: Conditional Reward Modeling for LLM Reasoningcited by 14
- 2025Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learnercited by 11
- 2025FreePRM: Training Process Reward Models Without Ground Truth Process Labelscited by 10
- 2025Trust but Verify! A Survey on Verification Design for Test-time Scalingcited by 8
- 2025AdaSTaR: Adaptive Data Sampling for Training Self-Taught Reasonerscited by 6
- 2025Decoupling Knowledge and Reasoning in LLMs: An Exploration Using Cognitive Dual-System Theorycited by 4
- 2025Putting on the Thinking Hats: A Survey on Chain of Thought Fine-tuning from the Perspective of Human Reasoning Mechanismcited by 4
- 2025LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Modelscited by 2
- 2026Improving Reasoning in Vision-Language Models via Perception Verified Self-Trainingcited by 1
- 2026From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontiercited by 1
- 2025Improving Value-based Process Verifier via Structural Prior Injectioncited by 0
- 2026FINER-SQL: Boosting Small Language Models for Text-to-SQLcited by 0
- 2026Unsupervised Process Reward Modelscited by 0
- 2026Safety Signals to Verify NetOps Agents with Action-Level Granularitycited by 0
- 2026Inducing Process Supervision from Outcome-Only Reinforcement Learningcited by 0
- 2026Learning Process Rewards via Reasoning State Propagationcited by 0
- 2026Learning Process Rewards via Reasoning State Propagation30 Sep 2026
- 2026Inducing Process Supervision from Outcome-Only Reinforcement Learning29 Sep 2026
- 2026Safety Signals to Verify NetOps Agents with Action-Level Granularity13 Sep 2026
- 2026From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier8 Jul 2026
- 2026Improving Reasoning in Vision-Language Models via Perception Verified Self-Training20 Jun 2026
- 2026Unsupervised Process Reward Models11 May 2026
- 2026FINER-SQL: Boosting Small Language Models for Text-to-SQL5 May 2026
- 2025Putting on the Thinking Hats: A Survey on Chain of Thought Fine-tuning from the Perspective of Human Reasoning Mechanism15 Oct 2025
- 2025LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Models13 Oct 2025
- 2025Linking Process to Outcome: Conditional Reward Modeling for LLM Reasoning30 Sep 2025
- 2025Latent Thinking Optimization: Your Latent Reasoning Language Model Secretly Encodes Reward Signals in Its Latent Thoughts30 Sep 2025
- 2025Trust but Verify! A Survey on Verification Design for Test-time Scaling20 Aug 2025
16 more
- 2025CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Reward5 Aug 2025
- 2025Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learner31 Jul 2025
- 2025Decoupling Knowledge and Reasoning in LLMs: An Exploration Using Cognitive Dual-System Theory24 Jul 2025
- 2025Athena: Enhancing Multimodal Reasoning with Data-efficient Process Reward Models11 Jun 2025
- 2025TreeRPO: Tree Relative Policy Optimization5 Jun 2025
- 2025FreePRM: Training Process Reward Models Without Ground Truth Process Labels4 Jun 2025
- 2025AdaSTaR: Adaptive Data Sampling for Training Self-Taught Reasoners22 May 2025
- 2025Generative AI Act II: Test Time Scaling Drives Cognition Engineering18 Apr 2025
- 2025A Comprehensive Survey of Reward Models: Taxonomy, Applications, Challenges, and Future12 Apr 2025
- 2025Boosting the Generalization and Reasoning of Vision Language Models with Curriculum Reinforcement Learning10 Mar 2025
- 2025From System 1 to System 2: A Survey of Reasoning Large Language Models24 Feb 2025
- 2025Improving Value-based Process Verifier via Structural Prior Injection21 Feb 2025
- 2024AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modeling19 Dec 2024
- 2024Process Reward Model with Q-Value Rankings15 Oct 2024
- 2024FormalAlign: Automated Alignment Evaluation for Autoformalization14 Oct 2024
- 2024MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs20 Jun 2024
- 2025From System 1 to System 2: A Survey of Reasoning Large Language Modelscited by 319
- 2024Process Reward Model with Q-Value Rankingscited by 78
- 2024AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modelingcited by 76
- 2025Boosting the Generalization and Reasoning of Vision Language Models with Curriculum Reinforcement Learningcited by 71
- 2025TreeRPO: Tree Relative Policy Optimizationcited by 45
- 2024MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMscited by 30
- 2025Latent Thinking Optimization: Your Latent Reasoning Language Model Secretly Encodes Reward Signals in Its Latent Thoughtscited by 18
- 2025Athena: Enhancing Multimodal Reasoning with Data-efficient Process Reward Modelscited by 16
- 2025Generative AI Act II: Test Time Scaling Drives Cognition Engineeringcited by 14
- 2025Linking Process to Outcome: Conditional Reward Modeling for LLM Reasoningcited by 14
- 2025Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learnercited by 11
- 2025FreePRM: Training Process Reward Models Without Ground Truth Process Labelscited by 10
12 most cited of 22 All 22 (JSON)
- 2026Learning Process Rewards via Reasoning State Propagation30 Sep 2026
- 2026Inducing Process Supervision from Outcome-Only Reinforcement Learning29 Sep 2026
- 2026Improving Reasoning in Vision-Language Models via Perception Verified Self-Training20 Jun 2026
- 2026Unsupervised Process Reward Models11 May 2026
- 2025Putting on the Thinking Hats: A Survey on Chain of Thought Fine-tuning from the Perspective of Human Reasoning Mechanism15 Oct 2025
- 2025LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Models13 Oct 2025
- 2025Linking Process to Outcome: Conditional Reward Modeling for LLM Reasoning30 Sep 2025
- 2025Latent Thinking Optimization: Your Latent Reasoning Language Model Secretly Encodes Reward Signals in Its Latent Thoughts30 Sep 2025
- 2025Trust but Verify! A Survey on Verification Design for Test-time Scaling20 Aug 2025
- 2025Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learner31 Jul 2025
- 2025Decoupling Knowledge and Reasoning in LLMs: An Exploration Using Cognitive Dual-System Theory24 Jul 2025
- 2025Athena: Enhancing Multimodal Reasoning with Data-efficient Process Reward Models11 Jun 2025
12 newest of 22 All 22 (JSON)
Similar, not cited
Close in wording, no citation either way
- 2025DocPuzzle: A Process-Aware Benchmark for Evaluating Realistic Long-Context Reasoning Capabilities
- 2026AutoVerifier: Residual-Guided Non-Parametric Optimization for Reference-Based Answer Verification
- 2026CITE: Anytime-Valid Statistical Inference in LLM Self-Consistency
- 2024Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks
- 2024LLM Reasoners: New Evaluation, Library, and Analysis of Step-by-Step Reasoning with Large Language Models
- 2025AutoLogi: Automated Generation of Logic Puzzles for Evaluating Reasoning Abilities of Large Language Models
- 2025VerifiAgent: a Unified Verification Agent in Language Model Reasoning
- 2026Scaling LLM Reasoning from Minimal Labels: A Semi-Supervised Framework with a Lightweight Verifier