CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Reward
On the map: LLM alignment / RLHF / preference optimisation → Process reward models for reasoning
Abstract (arXiv)
Answer verification is crucial not only for evaluating large language models (LLMs) by matching their unstructured outputs against standard answers, but also serves as the reward model to guide LLM optimization. Most evaluation frameworks rely on regularized matching or employ general LLMs for answer verification, which demands extensive, repetitive customization for regex rules or evaluation prompts. Two fundamental limitations persist in current methodologies: 1) the absence of comprehensive benchmarks that systematically evaluate verification capabilities across different LLMs; and 2) the nascent stage of verifier development, where existing approaches lack both the robustness to handle complex edge cases and the generalizability across different domains. In this work, we develop CompassVerifier, an accurate and robust lightweight verifier model for evaluation and outcome reward. It demonstrates multi-domain competency spanning math, knowledge, and diverse reasoning tasks, with the capability to process various answer types, including multi-subproblems, formulas, and sequence answers, while effectively identifying abnormal/invalid responses. We introduce VerifierBench benchmark comprising model outputs collected from multiple data sources, augmented through manual analysis of metaerror patterns to enhance CompassVerifier. We anticipate that CompassVerifier and VerifierBench will facilitate answer verification, evaluation protocols, and reinforcement learning research. Code and dataset are available at https://github.com/open-compass/CompassVerifier.
Key facts. Cited by 40 papers in the map (data through 14 Oct 2026). Placed in Process reward models for reasoning, one of 10 directions in LLM alignment / RLHF / preference optimisation. Builds on 51 of its 68 references that are in the map. First posted on arXiv 5 Aug 2025.
Builds on
51 of 68 references.
Closest ancestors · 2
Same direction, newest first
- 2025Crossing the Reward Bridge: Expanding RL with Verifiable Rewards Across Diverse Domains31 Mar
- 2025The Lessons of Developing Process Reward Models in Mathematical Reasoning13 Jan
Other references · 49
- 2023GPT-4 Technical Reportcited by 18,396
- 2024The Llama 3 Herd of Modelscited by 14,715
- 2021Training Verifiers to Solve Math Word Problemscited by 10,109
- 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
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
- 2024Qwen2.5 Technical Reportcited by 4,942
- 2023Let's Verify Step by Stepcited by 3,789
- 2023GPQA: A Graduate-Level Google-Proof Q&A Benchmarkcited by 2,879
- 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
37 more
- 2024Mixtral of Expertscited by 1,823
- 2022Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Themcited by 1,807
- 2024A Survey on LLM-as-a-Judgecited by 1,423
- 2023A Survey on Evaluation of Large Language Modelscited by 1,242
- 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,136
- 2019DROP: A Reading Comprehension Benchmark Requiring Discrete Reasoning Over Paragraphscited by 903
- 2024From Generation to Judgment: Opportunities and Challenges of LLM-as-a-judgecited by 494
- 2025Humanity's Last Examcited by 491
- 2024InternLM2 Technical Reportcited by 397
- 2024Measuring short-form factuality in large language modelscited by 373
- 2023JudgeLM: Fine-tuned Large Language Models are Scalable Judgescited by 367
- 2023PandaLM: An Automatic Evaluation Benchmark for LLM Instruction Tuning Optimizationcited by 316
- 2025Reinforcement Learning for Reasoning in Large Language Models with One Training Examplecited by 295
- 2024ProcessBench: Identifying Process Errors in Mathematical Reasoningcited by 292
- 2024ReFT: Reasoning with Reinforced Fine-Tuningcited by 239
- 2025Inference-Time Scaling for Generalist Reward Modelingcited by 239
- 2024V-STaR: Training Verifiers for Self-Taught Reasonerscited by 217
- 2023TheoremQA: A Theorem-driven Question Answering datasetcited by 192
- 2023Evaluating the Performance of Large Language Models on GAOKAO Benchmarkcited by 186
- 2023Generative Judge for Evaluating Alignmentcited by 169
- 2025General-Reasoner: Advancing LLM Reasoning Across All Domainscited by 135
- 2024ARC Prize 2024: Technical Reportcited by 104
- 2025Learn to Reason Efficiently with Adaptive Length-based Reward Shapingcited by 75
- 2025Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn'tcited by 74
- 2024KOR-Bench: Benchmarking Language Models on Knowledge-Orthogonal Reasoning Taskscited by 70
- 2024Are Your LLMs Capable of Stable Reasoning?cited by 65
- 2025xVerify: Efficient Answer Verifier for Reasoning Model Evaluationscited by 55
- 2025A Comprehensive Survey of Reward Models: Taxonomy, Applications, Challenges, and Futurecited by 53
- 2024Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklistcited by 48
- 2024Chinese SimpleQA: A Chinese Factuality Evaluation for Large Language Modelscited by 43
- 2024CompassJudger-1: All-in-one Judge Model Helps Model Evaluation and Evolutioncited by 42
- 2025Harnessing the Reasoning Economy: A Survey of Efficient Reasoning for Large Language Modelscited by 36
- 2024AutoPSV: Automated Process-Supervised Verifiercited by 30
- 2025Heimdall: test-time scaling on the generative verificationcited by 26
- 2025VerifyBench: Benchmarking Reference-based Reward Systems for Large Language Modelscited by 20
- 2025Rethinking Verification for LLM Code Generation: From Generation to Testingcited by 14
- 2024Rationale-Aware Answer Verification by Pairwise Self-Evaluationcited by 8
Built on by
Citing papers per year: 2025: 14; 2026: 26.
40 papers.
Sort:
By area:
- 2025A Survey of Reinforcement Learning for Large Reasoning Modelscited by 180
- 2026MiniCPM-o 4.5: Towards Real-Time Full-Duplex Omni-Modal Interactioncited by 78
- 2025Intern-S1: A Scientific Multimodal Foundation Modelcited by 53
- 2025Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifierscited by 45
- 2026MMFineReason: Closing the Multimodal Reasoning Gap via Open Data-Centric Methodscited by 30
- 2026Uncertainty Quantification in LLM Agents: Foundations, Emerging Challenges, and Opportunitiescited by 20
- 2025Variation in Verification: Understanding Verification Dynamics in Large Language Modelscited by 19
- 2025Incentivizing Agentic Reasoning in LLM Judges via Tool-Integrated Reinforcement Learningcited by 17
- 2026Agent-as-a-Judgecited by 17
- 2025Don't Pass@k: A Bayesian Framework for Large Language Model Evaluationcited by 15
- 2026Future-as-Label: Scalable Supervision from Real-World Outcomescited by 11
- 2026ChartVerse: Scaling Chart Reasoning via Reliable Programmatic Synthesis from Scratchcited by 10
28 more
- 2026STAPO: Stabilizing Reinforcement Learning for LLMs by Silencing Rare Spurious Tokenscited by 9
- 2025FAPO: Flawed-Aware Policy Optimization for Efficient and Reliable Reasoningcited by 7
- 2025The Era of Agentic Organization: Learning to Organize with Language Modelscited by 7
- 2025SCI-Verifier: Scientific Verifier with Thinkingcited by 6
- 2025ATLAS: A High-Difficulty, Multidisciplinary Benchmark for Frontier Scientific Reasoningcited by 6
- 2026Aletheia: What Makes RLVR For Code Verifiers Tick?cited by 5
- 2025CoSineVerifier: Tool-Augmented Answer Verification for Computation-Oriented Scientific Questionscited by 4
- 2025OPV: Outcome-based Process Verifier for Efficient Long Chain-of-Thought Verificationcited by 4
- 2025Closing the Data Loop: Using OpenDataArena to Engineer Superior Training Datasetscited by 4
- 2026Unlocking Data Value in Finance: A Study on Distillation and Difficulty-Aware Trainingcited by 4
- 2025LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Modelscited by 2
- 2026Are Verifier Errors Independent Within a GRPO Group? Evidence from Qwen2.5 Rolloutscited by 2
- 2026Generating Data-Driven Reasoning Rubrics for Domain-Adaptive Reward Modelingcited by 1
- 2026PRIME: A Process-Outcome Alignment Benchmark for Verifiable Reasoning in Mathematics and Engineeringcited by 1
- 2026ReflectRM: Boosting Generative Reward Models via Self-Reflection within a Unified Judgment Frameworkcited by 1
- 2026ScaleBox: Enabling High-Fidelity and Scalable Code Verification for Large Language Modelscited by 1
- 2026MMVistaReason: Toward Open-Data and Post-Training Recipes for Multimodal Reasoningcited by 1
- 2026CharTool: Tool-Integrated Visual Reasoning for Chart Understandingcited by 0
- 2026Trust Functions: Near-Lossless Weak-to-Strong Generalization by Learning When to Trust the Weak Teachercited by 0
- 2026EASy: Towards Efficient LLM-Based Agentic Systemcited by 0
- 2026AutoVerifier: Residual-Guided Non-Parametric Optimization for Reference-Based Answer Verificationcited by 0
- 2026SciMIF: Understanding Multimodal Instruction Following in Scientific Domainscited by 0
- 2026A Composable Evaluation System for Reproducible Omni-Modal Foundation Model Evaluationcited by 0
- 2026Physics as the label for measuring and correcting materials reasoning in multimodal modelscited by 0
- 2026DCRL: Decoupling and Coupling Reinforcement Learning via Policy-Reward Manifold Alignmentcited by 0
- 2026Learned Reporting Preferences in RLVR Can Conflict with the Current Requestcited by 0
- 2026How Much Can Language Models Gain from Test-Time Computation?cited 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
- 2026MMVistaReason: Toward Open-Data and Post-Training Recipes for Multimodal Reasoning1 Oct 2026
- 2026How Much Can Language Models Gain from Test-Time Computation?1 Oct 2026
- 2026Learned Reporting Preferences in RLVR Can Conflict with the Current Request29 Sep 2026
- 2026DCRL: Decoupling and Coupling Reinforcement Learning via Policy-Reward Manifold Alignment23 Sep 2026
- 2026Physics as the label for measuring and correcting materials reasoning in multimodal models10 Sep 2026
- 2026Are Verifier Errors Independent Within a GRPO Group? Evidence from Qwen2.5 Rollouts6 Sep 2026
- 2026A Composable Evaluation System for Reproducible Omni-Modal Foundation Model Evaluation1 Sep 2026
- 2026SciMIF: Understanding Multimodal Instruction Following in Scientific Domains26 Aug 2026
- 2026AutoVerifier: Residual-Guided Non-Parametric Optimization for Reference-Based Answer Verification26 Aug 2026
- 2026EASy: Towards Efficient LLM-Based Agentic System5 Aug 2026
- 2026Trust Functions: Near-Lossless Weak-to-Strong Generalization by Learning When to Trust the Weak Teacher31 May 2026
28 more
- 2026ScaleBox: Enabling High-Fidelity and Scalable Code Verification for Large Language Models30 Apr 2026
- 2026MiniCPM-o 4.5: Towards Real-Time Full-Duplex Omni-Modal Interaction30 Apr 2026
- 2026ReflectRM: Boosting Generative Reward Models via Self-Reflection within a Unified Judgment Framework8 Apr 2026
- 2026CharTool: Tool-Integrated Visual Reasoning for Chart Understanding3 Apr 2026
- 2026Unlocking Data Value in Finance: A Study on Distillation and Difficulty-Aware Training7 Mar 2026
- 2026STAPO: Stabilizing Reinforcement Learning for LLMs by Silencing Rare Spurious Tokens17 Feb 2026
- 2026PRIME: A Process-Outcome Alignment Benchmark for Verifiable Reasoning in Mathematics and Engineering12 Feb 2026
- 2026Generating Data-Driven Reasoning Rubrics for Domain-Adaptive Reward Modeling6 Feb 2026
- 2026Uncertainty Quantification in LLM Agents: Foundations, Emerging Challenges, and Opportunities4 Feb 2026
- 2026MMFineReason: Closing the Multimodal Reasoning Gap via Open Data-Centric Methods29 Jan 2026
- 2026ChartVerse: Scaling Chart Reasoning via Reliable Programmatic Synthesis from Scratch20 Jan 2026
- 2026Aletheia: What Makes RLVR For Code Verifiers Tick?17 Jan 2026
- 2026Future-as-Label: Scalable Supervision from Real-World Outcomes9 Jan 2026
- 2026Agent-as-a-Judge8 Jan 2026
- 2025Closing the Data Loop: Using OpenDataArena to Engineer Superior Training Datasets30 Dec 2025
- 2025OPV: Outcome-based Process Verifier for Efficient Long Chain-of-Thought Verification11 Dec 2025
- 2025CoSineVerifier: Tool-Augmented Answer Verification for Computation-Oriented Scientific Questions1 Dec 2025
- 2025ATLAS: A High-Difficulty, Multidisciplinary Benchmark for Frontier Scientific Reasoning18 Nov 2025
- 2025The Era of Agentic Organization: Learning to Organize with Language Models30 Oct 2025
- 2025Incentivizing Agentic Reasoning in LLM Judges via Tool-Integrated Reinforcement Learning27 Oct 2025
- 2025FAPO: Flawed-Aware Policy Optimization for Efficient and Reliable Reasoning26 Oct 2025
- 2025LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Models13 Oct 2025
- 2025Don't Pass@k: A Bayesian Framework for Large Language Model Evaluation5 Oct 2025
- 2025Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifiers1 Oct 2025
- 2025SCI-Verifier: Scientific Verifier with Thinking29 Sep 2025
- 2025Variation in Verification: Understanding Verification Dynamics in Large Language Models22 Sep 2025
- 2025A Survey of Reinforcement Learning for Large Reasoning Models10 Sep 2025
- 2025Intern-S1: A Scientific Multimodal Foundation Model21 Aug 2025
- 2025A Survey of Reinforcement Learning for Large Reasoning Modelscited by 180
- 2026MMFineReason: Closing the Multimodal Reasoning Gap via Open Data-Centric Methodscited by 30
- 2025Incentivizing Agentic Reasoning in LLM Judges via Tool-Integrated Reinforcement Learningcited by 17
- 2025Don't Pass@k: A Bayesian Framework for Large Language Model Evaluationcited by 15
- 2026ChartVerse: Scaling Chart Reasoning via Reliable Programmatic Synthesis from Scratchcited by 10
- 2026STAPO: Stabilizing Reinforcement Learning for LLMs by Silencing Rare Spurious Tokenscited by 9
- 2025FAPO: Flawed-Aware Policy Optimization for Efficient and Reliable Reasoningcited by 7
- 2025SCI-Verifier: Scientific Verifier with Thinkingcited by 6
- 2025ATLAS: A High-Difficulty, Multidisciplinary Benchmark for Frontier Scientific Reasoningcited by 6
- 2025OPV: Outcome-based Process Verifier for Efficient Long Chain-of-Thought Verificationcited by 4
- 2025LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Modelscited by 2
- 2026Generating Data-Driven Reasoning Rubrics for Domain-Adaptive Reward Modelingcited by 1
12 most cited of 18 All 18 (JSON)
- 2026Checking the Checkers: A Synthesis of Verifier Noise and Robustness in RLVR13 Oct 2026
- 2026MMVistaReason: Toward Open-Data and Post-Training Recipes for Multimodal Reasoning1 Oct 2026
- 2026DCRL: Decoupling and Coupling Reinforcement Learning via Policy-Reward Manifold Alignment23 Sep 2026
- 2026Physics as the label for measuring and correcting materials reasoning in multimodal models10 Sep 2026
- 2026AutoVerifier: Residual-Guided Non-Parametric Optimization for Reference-Based Answer Verification26 Aug 2026
- 2026CharTool: Tool-Integrated Visual Reasoning for Chart Understanding3 Apr 2026
- 2026STAPO: Stabilizing Reinforcement Learning for LLMs by Silencing Rare Spurious Tokens17 Feb 2026
- 2026Generating Data-Driven Reasoning Rubrics for Domain-Adaptive Reward Modeling6 Feb 2026
- 2026MMFineReason: Closing the Multimodal Reasoning Gap via Open Data-Centric Methods29 Jan 2026
- 2026ChartVerse: Scaling Chart Reasoning via Reliable Programmatic Synthesis from Scratch20 Jan 2026
- 2025OPV: Outcome-based Process Verifier for Efficient Long Chain-of-Thought Verification11 Dec 2025
- 2025ATLAS: A High-Difficulty, Multidisciplinary Benchmark for Frontier Scientific Reasoning18 Nov 2025
12 newest of 18 All 18 (JSON)
- 2026Uncertainty Quantification in LLM Agents: Foundations, Emerging Challenges, and Opportunitiescited by 20
- 2026Agent-as-a-Judgecited by 17
- 2025The Era of Agentic Organization: Learning to Organize with Language Modelscited by 7
- 2026EASy: Towards Efficient LLM-Based Agentic Systemcited by 0
- 2025Intern-S1: A Scientific Multimodal Foundation Modelcited by 53
- 2025Intern-S1: A Scientific Multimodal Foundation Model21 Aug 2025
- 2025Variation in Verification: Understanding Verification Dynamics in Large Language Modelscited by 19
- 2026Future-as-Label: Scalable Supervision from Real-World Outcomescited by 11
- 2026Aletheia: What Makes RLVR For Code Verifiers Tick?cited by 5
- 2025CoSineVerifier: Tool-Augmented Answer Verification for Computation-Oriented Scientific Questionscited by 4
- 2025Closing the Data Loop: Using OpenDataArena to Engineer Superior Training Datasetscited by 4
- 2026Unlocking Data Value in Finance: A Study on Distillation and Difficulty-Aware Trainingcited by 4
- 2026Are Verifier Errors Independent Within a GRPO Group? Evidence from Qwen2.5 Rolloutscited by 2
- 2026PRIME: A Process-Outcome Alignment Benchmark for Verifiable Reasoning in Mathematics and Engineeringcited by 1
- 2026ScaleBox: Enabling High-Fidelity and Scalable Code Verification for Large Language Modelscited by 1
- 2026Trust Functions: Near-Lossless Weak-to-Strong Generalization by Learning When to Trust the Weak Teachercited by 0
- 2026A Composable Evaluation System for Reproducible Omni-Modal Foundation Model Evaluationcited by 0
- 2026Learned Reporting Preferences in RLVR Can Conflict with the Current Requestcited by 0
12 most cited of 13 All 13 (JSON)
- 2026How Much Can Language Models Gain from Test-Time Computation?1 Oct 2026
- 2026Learned Reporting Preferences in RLVR Can Conflict with the Current Request29 Sep 2026
- 2026Are Verifier Errors Independent Within a GRPO Group? Evidence from Qwen2.5 Rollouts6 Sep 2026
- 2026A Composable Evaluation System for Reproducible Omni-Modal Foundation Model Evaluation1 Sep 2026
- 2026Trust Functions: Near-Lossless Weak-to-Strong Generalization by Learning When to Trust the Weak Teacher31 May 2026
- 2026ScaleBox: Enabling High-Fidelity and Scalable Code Verification for Large Language Models30 Apr 2026
- 2026Unlocking Data Value in Finance: A Study on Distillation and Difficulty-Aware Training7 Mar 2026
- 2026PRIME: A Process-Outcome Alignment Benchmark for Verifiable Reasoning in Mathematics and Engineering12 Feb 2026
- 2026Aletheia: What Makes RLVR For Code Verifiers Tick?17 Jan 2026
- 2026Future-as-Label: Scalable Supervision from Real-World Outcomes9 Jan 2026
- 2025Closing the Data Loop: Using OpenDataArena to Engineer Superior Training Datasets30 Dec 2025
- 2025CoSineVerifier: Tool-Augmented Answer Verification for Computation-Oriented Scientific Questions1 Dec 2025
12 newest of 13 All 13 (JSON)
Similar, not cited
Close in wording, no citation either way
- 2025When Does Verification Pay Off? A Closer Look at LLMs as Solution Verifiers
- 2025SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
- 2025Asking LLMs to Verify First is Almost Free Lunch
- 2024MMLU-Pro+: Evaluating Higher-Order Reasoning and Shortcut Learning in LLMs
- 2025Uncertainty-Aware Answer Selection for Improved Reasoning in Multi-LLM Systems
- 2025Sample Smart, Not Hard: Correctness-First Decoding for Better Reasoning in LLMs
- 2026Beyond the Answer Key: Robustness Evaluation of Large Language Models for Step-Level Mathematical Verification
- 2025CompassJudger-2: Towards Generalist Judge Model via Verifiable Rewards