mlsanityData to 14 Oct 2026

VerifyBench: Benchmarking Reference-based Reward Systems for Large Language Models

arXiv 2505.15801 ↗First posted 21 May 2025cs.CL cs.AIcited by 20

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

  1. 2025DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning15 Apr
  2. 2025A Minimalist Approach to LLM Reasoning: from Rejection Sampling to Reinforce15 Apr
  3. 2025Inference-Time Scaling for Generalist Reward Modeling3 Apr
  4. 2025Crossing the Reward Bridge: Expanding RL with Verifiable Rewards Across Diverse Domains31 Mar
  5. 2025Kimi k1.5: Scaling Reinforcement Learning with LLMs22 Jan
  6. 2024ProcessBench: Identifying Process Errors in Mathematical Reasoning9 Dec
  7. 2024Rewarding Progress: Scaling Automated Process Verifiers for LLM Reasoning10 Oct
  8. 2024Evaluating Robustness of Reward Models for Mathematical Reasoning2 Oct
  9. 2023Let's Verify Step by Step31 May

Other references · 52

  1. 2022Training language models to follow instructions with human feedbackcited by 15,971
  2. 2024The Llama 3 Herd of Modelscited by 14,715
  3. 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
  4. 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Modelscited by 9,379
  5. 2025Qwen3 Technical Reportcited by 8,820
  6. 2023Efficient Memory Management for Large Language Model Serving with PagedAttentioncited by 5,944
  7. 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
  8. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
  9. 2024Qwen2.5 Technical Reportcited by 4,942
  10. 2019HellaSwag: Can a Machine Really Finish Your Sentence?cited by 4,100
  11. 2017Deep reinforcement learning from human preferencescited by 3,912
  12. 2023GPQA: A Graduate-Level Google-Proof Q&A Benchmarkcited by 2,879
38 more
  1. 2020Learning to summarize from human feedbackcited by 2,588
  2. 2024HybridFlow: A Flexible and Efficient RLHF Frameworkcited by 2,057
  3. 2024MMLU-Pro: A More Robust and Challenging Multi-Task Language Understanding Benchmarkcited by 1,848
  4. 2022Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Themcited by 1,807
  5. 2021WebGPT: Browser-assisted question-answering with human feedbackcited by 1,745
  6. 2022Solving Quantitative Reasoning Problems with Language Modelscited by 1,392
  7. 2023SGLang: Efficient Execution of Structured Language Model Programscited by 1,141
  8. 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,136
  9. 2024Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvementcited by 1,090
  10. 2021Are NLP Models really able to Solve Simple Math Word Problems?cited by 878
  11. 2019Adversarial NLI: A New Benchmark for Natural Language Understandingcited by 807
  12. 2024Yi: Open Foundation Models by 01.AIcited by 719
  13. 2022Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thoughtcited by 337
  14. 2019Analysing Mathematical Reasoning Abilities of Neural Modelscited by 335
  15. 2020ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Languagecited by 324
  16. 2021A Diverse Corpus for Evaluating and Developing English Math Word Problem Solverscited by 318
  17. 2015Towards AI-Complete Question Answering: A Set of Prerequisite Toy Taskscited by 314
  18. 2019Abductive Commonsense Reasoningcited by 301
  19. 2024Quiet-STaR: Language Models Can Teach Themselves to Think Before Speakingcited by 301
  20. 2022FOLIO: Natural Language Reasoning with First-Order Logiccited by 235
  21. 2020ReClor: A Reading Comprehension Dataset Requiring Logical Reasoningcited by 217
  22. 2020Retrieve, Program, Repeat: Complex Knowledge Base Question Answering via Alternate Meta-learningcited by 216
  23. 2024RM-Bench: Benchmarking Reward Models of Language Models with Subtlety and Stylecited by 176
  24. 2019CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Textcited by 162
  25. 2025Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learningcited by 161
  26. 2024Orca-Math: Unlocking the potential of SLMs in Grade School Mathcited by 151
  27. 2023How well do Large Language Models perform in Arithmetic tasks?cited by 130
  28. 2024TableBench: A Comprehensive and Complex Benchmark for Table Question Answeringcited by 128
  29. 2025BIG-Bench Extra Hardcited by 125
  30. 2024How to Evaluate Reward Models for RLHFcited by 88
  31. 2025NaturalReasoning: Reasoning in the Wild with 2.8M Challenging Questionscited by 84
  32. 2023Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyondcited by 65
  33. 2024RMB: Comprehensively Benchmarking Reward Models in LLM Alignmentcited by 61
  34. 2025xVerify: Efficient Answer Verifier for Reasoning Model Evaluationscited by 55
  35. 2024MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math Datacited by 52
  36. 2021AR-LSAT: Investigating Analytical Reasoning of Textcited by 51
  37. 2023BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Informationcited by 44
  38. 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

Cited by year (2026 to 14 Oct)

Citing papers per year: 2025: 12; 2026: 8.

20 papers.

Sort:

By area:

  1. 2025One Token to Fool LLM-as-a-Judgecited by 60
  2. 2025Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifierscited by 45
  3. 2025CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Rewardcited by 40
  4. 2025Incentivizing Agentic Reasoning in LLM Judges via Tool-Integrated Reinforcement Learningcited by 17
  5. 2026Generate, Filter, Control, Replay: A Comprehensive Survey of Rollout Strategies for LLM Reinforcement Learningcited by 9
  6. 2025Trust but Verify! A Survey on Verification Design for Test-time Scalingcited by 8
  7. 2025Reward Auditor: Inference on Reward Modeling Suitability in Real-World Perturbed Scenarioscited by 8
  8. 2026Delay, Plateau, or Collapse: Evaluating the Impact of Systematic Verification Error on RLVRcited by 7
  9. 2025Cooper: Co-Optimizing Policy and Reward Models in Reinforcement Learning for Large Language Modelscited by 6
  10. 2025SCI-Verifier: Scientific Verifier with Thinkingcited by 6
  11. 2025Foundational Automatic Evaluators: Scaling Multi-Task Generative Evaluator Training for Reasoning-Centric Domainscited by 5
  12. 2026Benchmarking LLM-as-a-Judge for Long-Form Output Evaluationcited by 5
8 more
  1. 2025CoSineVerifier: Tool-Augmented Answer Verification for Computation-Oriented Scientific Questionscited by 4
  2. 2026DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Modelscited by 3
  3. 2026Can LLMs Learn to Reason Robustly under Noisy Supervision?cited by 2
  4. 2025SMILE: A Composite Lexical-Semantic Metric for Question-Answering Evaluationcited by 1
  5. 2025From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Modelscited by 0
  6. 2026AutoVerifier: Residual-Guided Non-Parametric Optimization for Reference-Based Answer Verificationcited by 0
  7. 2026DE-Venus: A Data-Efficient RLVR Framework for Large Language Modelscited by 0
  8. 2026Checking the Checkers: A Synthesis of Verifier Noise and Robustness in RLVRcited by 0

Similar, not cited

Close in wording, no citation either way

  1. 2025VerifyBench: A Systematic Benchmark for Evaluating Reasoning Verifiers Across Domains
  2. 2025ConfClip: Confidence-Weighted and Clipped Reward for Reinforcement Learning in LLMs
  3. 2025Beyond Correctness: Confidence-Aware Reward Modeling for Enhancing Large Language Model Reasoning
  4. 2026From Verifiable Dot to Reward Chain: Harnessing Verifiable Reference-based Rewards for Reinforcement Learning of Open-ended Generation
  5. 2026Reasoning Arena: Trace Tournaments When Verifiable Rewards Fall Short
  6. 2025RM-R1: Reward Modeling as Reasoning
  7. 2025Reinforcement Learning with Verifiable Rewards Implicitly Incentivizes Correct Reasoning in Base LLMs
  8. 2025Reinforcement Learning Meets Large Language Models: A Survey of Advancements and Applications Across the LLM Lifecycle