VerifyBench: Benchmarking Reference-based Reward Systems for Large Language Models
On the map: LLM reasoning → Reinforcement learning for reasoning
Abstract (arXiv)
Large reasoning models such as OpenAI o1 and DeepSeek-R1 have demonstrated remarkable performance in complex reasoning tasks. A critical component of their training is the incorporation of reference-based reward systems within reinforcement learning (RL), where model outputs are evaluated against ground truth references. However, existing reward benchmarks focus on preference comparisons between responses rather than evaluating verification against ground truth references, leaving a critical gap in our ability to evaluate verification systems used in reasoning model training. In this paper, we introduce VerifyBench and its challenging variant VerifyBench-Hard, two benchmarks specifically designed to assess reference-based reward systems. These benchmarks are constructed through meticulous data collection and curation, followed by careful human annotation to ensure high quality. Our comprehensive evaluation reveals that while larger model-based verifiers show promise on standard cases, all current systems demonstrate substantial room for improvement on challenging instances. Through systematic analysis of performance patterns across reasoning tasks and error categories, we provide insights for advancing reference-based reward systems. These benchmarks establish a standardized framework for improving verification accuracy, ultimately enhancing reasoning capabilities in models trained via RL.
Key facts. Cited by 20 papers in the map (data through 14 Oct 2026). Placed in Reinforcement learning for reasoning, one of 17 directions in LLM reasoning. Builds on 61 of its 77 references that are in the map. First posted on arXiv 21 May 2025.
Builds on
61 of 77 references.
Closest ancestors · 9
Same direction, newest first
- 2025DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning15 Apr
- 2025A Minimalist Approach to LLM Reasoning: from Rejection Sampling to Reinforce15 Apr
- 2025Inference-Time Scaling for Generalist Reward Modeling3 Apr
- 2025Crossing the Reward Bridge: Expanding RL with Verifiable Rewards Across Diverse Domains31 Mar
- 2025Kimi k1.5: Scaling Reinforcement Learning with LLMs22 Jan
- 2024ProcessBench: Identifying Process Errors in Mathematical Reasoning9 Dec
- 2024Rewarding Progress: Scaling Automated Process Verifiers for LLM Reasoning10 Oct
- 2024Evaluating Robustness of Reward Models for Mathematical Reasoning2 Oct
- 2023Let's Verify Step by Step31 May
Other references · 52
- 2022Training language models to follow instructions with human feedbackcited by 15,971
- 2024The Llama 3 Herd of Modelscited by 14,715
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Modelscited by 9,379
- 2025Qwen3 Technical Reportcited by 8,820
- 2023Efficient Memory Management for Large Language Model Serving with PagedAttentioncited by 5,944
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
- 2024Qwen2.5 Technical Reportcited by 4,942
- 2019HellaSwag: Can a Machine Really Finish Your Sentence?cited by 4,100
- 2017Deep reinforcement learning from human preferencescited by 3,912
- 2023GPQA: A Graduate-Level Google-Proof Q&A Benchmarkcited by 2,879
38 more
- 2020Learning to summarize from human feedbackcited by 2,588
- 2024HybridFlow: A Flexible and Efficient RLHF Frameworkcited by 2,057
- 2024MMLU-Pro: A More Robust and Challenging Multi-Task Language Understanding Benchmarkcited by 1,848
- 2022Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Themcited by 1,807
- 2021WebGPT: Browser-assisted question-answering with human feedbackcited by 1,745
- 2022Solving Quantitative Reasoning Problems with Language Modelscited by 1,392
- 2023SGLang: Efficient Execution of Structured Language Model Programscited by 1,141
- 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,136
- 2024Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvementcited by 1,090
- 2021Are NLP Models really able to Solve Simple Math Word Problems?cited by 878
- 2019Adversarial NLI: A New Benchmark for Natural Language Understandingcited by 807
- 2024Yi: Open Foundation Models by 01.AIcited by 719
- 2022Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thoughtcited by 337
- 2019Analysing Mathematical Reasoning Abilities of Neural Modelscited by 335
- 2020ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Languagecited by 324
- 2021A Diverse Corpus for Evaluating and Developing English Math Word Problem Solverscited by 318
- 2015Towards AI-Complete Question Answering: A Set of Prerequisite Toy Taskscited by 314
- 2019Abductive Commonsense Reasoningcited by 301
- 2024Quiet-STaR: Language Models Can Teach Themselves to Think Before Speakingcited by 301
- 2022FOLIO: Natural Language Reasoning with First-Order Logiccited by 235
- 2020ReClor: A Reading Comprehension Dataset Requiring Logical Reasoningcited by 217
- 2020Retrieve, Program, Repeat: Complex Knowledge Base Question Answering via Alternate Meta-learningcited by 216
- 2024RM-Bench: Benchmarking Reward Models of Language Models with Subtlety and Stylecited by 176
- 2019CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Textcited by 162
- 2025Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learningcited by 161
- 2024Orca-Math: Unlocking the potential of SLMs in Grade School Mathcited by 151
- 2023How well do Large Language Models perform in Arithmetic tasks?cited by 130
- 2024TableBench: A Comprehensive and Complex Benchmark for Table Question Answeringcited by 128
- 2025BIG-Bench Extra Hardcited by 125
- 2024How to Evaluate Reward Models for RLHFcited by 88
- 2025NaturalReasoning: Reasoning in the Wild with 2.8M Challenging Questionscited by 84
- 2023Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyondcited by 65
- 2024RMB: Comprehensively Benchmarking Reward Models in LLM Alignmentcited by 61
- 2025xVerify: Efficient Answer Verifier for Reasoning Model Evaluationscited by 55
- 2024MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math Datacited by 52
- 2021AR-LSAT: Investigating Analytical Reasoning of Textcited by 51
- 2023BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Informationcited by 44
- 2024Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Modelscited by 39
50 most cited of 52 All 52 (JSON)
Built on by
Citing papers per year: 2025: 12; 2026: 8.
20 papers.
Sort:
By area:
- 2025One Token to Fool LLM-as-a-Judgecited by 60
- 2025Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifierscited by 45
- 2025CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Rewardcited by 40
- 2025Incentivizing Agentic Reasoning in LLM Judges via Tool-Integrated Reinforcement Learningcited by 17
- 2026Generate, Filter, Control, Replay: A Comprehensive Survey of Rollout Strategies for LLM Reinforcement Learningcited by 9
- 2025Trust but Verify! A Survey on Verification Design for Test-time Scalingcited by 8
- 2025Reward Auditor: Inference on Reward Modeling Suitability in Real-World Perturbed Scenarioscited by 8
- 2026Delay, Plateau, or Collapse: Evaluating the Impact of Systematic Verification Error on RLVRcited by 7
- 2025Cooper: Co-Optimizing Policy and Reward Models in Reinforcement Learning for Large Language Modelscited by 6
- 2025SCI-Verifier: Scientific Verifier with Thinkingcited by 6
- 2025Foundational Automatic Evaluators: Scaling Multi-Task Generative Evaluator Training for Reasoning-Centric Domainscited by 5
- 2026Benchmarking LLM-as-a-Judge for Long-Form Output Evaluationcited by 5
8 more
- 2025CoSineVerifier: Tool-Augmented Answer Verification for Computation-Oriented Scientific Questionscited by 4
- 2026DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Modelscited by 3
- 2026Can LLMs Learn to Reason Robustly under Noisy Supervision?cited by 2
- 2025SMILE: A Composite Lexical-Semantic Metric for Question-Answering Evaluationcited by 1
- 2025From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Modelscited by 0
- 2026AutoVerifier: Residual-Guided Non-Parametric Optimization for Reference-Based Answer Verificationcited by 0
- 2026DE-Venus: A Data-Efficient RLVR Framework for Large Language Modelscited by 0
- 2026Checking the Checkers: A Synthesis of Verifier Noise and Robustness in RLVRcited by 0
- 2026Checking the Checkers: A Synthesis of Verifier Noise and Robustness in RLVR13 Oct 2026
- 2026DE-Venus: A Data-Efficient RLVR Framework for Large Language Models3 Sep 2026
- 2026AutoVerifier: Residual-Guided Non-Parametric Optimization for Reference-Based Answer Verification26 Aug 2026
- 2026DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Models17 Jun 2026
- 2026Benchmarking LLM-as-a-Judge for Long-Form Output Evaluation1 Jun 2026
- 2026Generate, Filter, Control, Replay: A Comprehensive Survey of Rollout Strategies for LLM Reinforcement Learning8 Apr 2026
- 2026Delay, Plateau, or Collapse: Evaluating the Impact of Systematic Verification Error on RLVR6 Apr 2026
- 2026Can LLMs Learn to Reason Robustly under Noisy Supervision?5 Apr 2026
- 2025CoSineVerifier: Tool-Augmented Answer Verification for Computation-Oriented Scientific Questions1 Dec 2025
- 2025Reward Auditor: Inference on Reward Modeling Suitability in Real-World Perturbed Scenarios30 Nov 2025
- 2025SMILE: A Composite Lexical-Semantic Metric for Question-Answering Evaluation21 Nov 2025
- 2025From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models14 Nov 2025
8 more
- 2025Incentivizing Agentic Reasoning in LLM Judges via Tool-Integrated Reinforcement Learning27 Oct 2025
- 2025Foundational Automatic Evaluators: Scaling Multi-Task Generative Evaluator Training for Reasoning-Centric Domains20 Oct 2025
- 2025Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifiers1 Oct 2025
- 2025SCI-Verifier: Scientific Verifier with Thinking29 Sep 2025
- 2025Trust but Verify! A Survey on Verification Design for Test-time Scaling20 Aug 2025
- 2025Cooper: Co-Optimizing Policy and Reward Models in Reinforcement Learning for Large Language Models7 Aug 2025
- 2025CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Reward5 Aug 2025
- 2025One Token to Fool LLM-as-a-Judge11 Jul 2025
- 2025Incentivizing Agentic Reasoning in LLM Judges via Tool-Integrated Reinforcement Learningcited by 17
- 2026Generate, Filter, Control, Replay: A Comprehensive Survey of Rollout Strategies for LLM Reinforcement Learningcited by 9
- 2025Trust but Verify! A Survey on Verification Design for Test-time Scalingcited by 8
- 2026Delay, Plateau, or Collapse: Evaluating the Impact of Systematic Verification Error on RLVRcited by 7
- 2025Cooper: Co-Optimizing Policy and Reward Models in Reinforcement Learning for Large Language Modelscited by 6
- 2025SCI-Verifier: Scientific Verifier with Thinkingcited by 6
- 2026Can LLMs Learn to Reason Robustly under Noisy Supervision?cited by 2
- 2025From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Modelscited by 0
- 2026AutoVerifier: Residual-Guided Non-Parametric Optimization for Reference-Based Answer Verificationcited by 0
- 2026DE-Venus: A Data-Efficient RLVR Framework for Large Language Modelscited by 0
- 2026Checking the Checkers: A Synthesis of Verifier Noise and Robustness in RLVRcited by 0
- 2026Checking the Checkers: A Synthesis of Verifier Noise and Robustness in RLVR13 Oct 2026
- 2026DE-Venus: A Data-Efficient RLVR Framework for Large Language Models3 Sep 2026
- 2026AutoVerifier: Residual-Guided Non-Parametric Optimization for Reference-Based Answer Verification26 Aug 2026
- 2026Generate, Filter, Control, Replay: A Comprehensive Survey of Rollout Strategies for LLM Reinforcement Learning8 Apr 2026
- 2026Delay, Plateau, or Collapse: Evaluating the Impact of Systematic Verification Error on RLVR6 Apr 2026
- 2026Can LLMs Learn to Reason Robustly under Noisy Supervision?5 Apr 2026
- 2025From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models14 Nov 2025
- 2025Incentivizing Agentic Reasoning in LLM Judges via Tool-Integrated Reinforcement Learning27 Oct 2025
- 2025SCI-Verifier: Scientific Verifier with Thinking29 Sep 2025
- 2025Trust but Verify! A Survey on Verification Design for Test-time Scaling20 Aug 2025
- 2025Cooper: Co-Optimizing Policy and Reward Models in Reinforcement Learning for Large Language Models7 Aug 2025
- 2025Foundational Automatic Evaluators: Scaling Multi-Task Generative Evaluator Training for Reasoning-Centric Domainscited by 5
- 2026Benchmarking LLM-as-a-Judge for Long-Form Output Evaluationcited by 5
- 2025CoSineVerifier: Tool-Augmented Answer Verification for Computation-Oriented Scientific Questionscited by 4
- 2026DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Modelscited by 3
- 2025SMILE: A Composite Lexical-Semantic Metric for Question-Answering Evaluationcited by 1
- 2026DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Models17 Jun 2026
- 2026Benchmarking LLM-as-a-Judge for Long-Form Output Evaluation1 Jun 2026
- 2025CoSineVerifier: Tool-Augmented Answer Verification for Computation-Oriented Scientific Questions1 Dec 2025
- 2025SMILE: A Composite Lexical-Semantic Metric for Question-Answering Evaluation21 Nov 2025
- 2025Foundational Automatic Evaluators: Scaling Multi-Task Generative Evaluator Training for Reasoning-Centric Domains20 Oct 2025
Similar, not cited
Close in wording, no citation either way
- 2025VerifyBench: A Systematic Benchmark for Evaluating Reasoning Verifiers Across Domains
- 2025ConfClip: Confidence-Weighted and Clipped Reward for Reinforcement Learning in LLMs
- 2025Beyond Correctness: Confidence-Aware Reward Modeling for Enhancing Large Language Model Reasoning
- 2026From Verifiable Dot to Reward Chain: Harnessing Verifiable Reference-based Rewards for Reinforcement Learning of Open-ended Generation
- 2026Reasoning Arena: Trace Tournaments When Verifiable Rewards Fall Short
- 2025RM-R1: Reward Modeling as Reasoning
- 2025Reinforcement Learning with Verifiable Rewards Implicitly Incentivizes Correct Reasoning in Base LLMs
- 2025Reinforcement Learning Meets Large Language Models: A Survey of Advancements and Applications Across the LLM Lifecycle