# xVerify: Efficient Answer Verifier for Reasoning Model Evaluations

Source: [xVerify: Efficient Answer Verifier for Reasoning Model Evaluations](<https://www.sota2.com/research/paper/68fa78101e209131cea7697d>)

Collection index: [llms.txt](<https://www.sota2.com/research/llms.txt>)

Data updated: 2026-01-02T05:00:04.167Z

Authors: Ding Chen, Qingchen Yu, Pengyuan Wang, Mengting Hu, Wentao Zhang, Zhengren Wang, Bo Tang, Feiyu Xiong, Xinchi Li, Chao Wang, Minchuan Yang, Zhiyu Li

Published: 2025-04-14T17:59:36.000Z

## Abstract

With the release of OpenAI's o1 model, reasoning models that adopt slow-thinking strategies have become increasingly common. Their outputs often contain complex reasoning, intermediate steps, and self-reflection, making existing evaluation methods and reward models inadequate. In particular, they struggle to judge answer equivalence and to reliably extract final answers from long, complex responses. To address this challenge, we propose xVerify, an efficient answer verifier for evaluating reasoning models. xVerify shows strong equivalence judgment capabilities, enabling accurate comparison between model outputs and reference answers across diverse question types. To train and evaluate xVerify, we construct the VAR dataset, which consists of question-answer pairs generated by multiple LLMs across various datasets. The dataset incorporates multiple reasoning models and challenging evaluation sets specifically designed for reasoning assessment, with a multi-round annotation process to ensure label quality. Based on VAR, we train xVerify models at different scales. Experimental results on both test and generalization sets show that all xVerify variants achieve over 95% F1 score and accuracy. Notably, the smallest model, xVerify-0.5B-I, outperforms all evaluation methods except GPT-4o, while xVerify-3B-Ib surpasses GPT-4o in overall performance. In addition, reinforcement learning experiments using xVerify as the reward model yield an 18.4% improvement for Qwen2.5-7B compared with direct generation, exceeding the gains achieved with Math Verify as the reward. These results demonstrate the effectiveness and generalizability of xVerify. All xVerify resources are available on \\href{https://github.com/IAAR-Shanghai/xVerify}{GitHub}.

## Recorded benchmark results

A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage.

- [Verification on VerifyBench Hard 1.0 (test)](<https://www.sota2.com/research/sota/verification-on-verifybench-hard-1-0-test.md>): Verification; VerifyBench Hard 1.0 (test); Mean@3 Accuracy: 83.3.

- [Verification on VerifyBench 1.0 (test)](<https://www.sota2.com/research/sota/verification-on-verifybench-1-0-test.md>): Verification; VerifyBench 1.0 (test); m@3 Accuracy: 92.5.

- [Verification on SCI-Bench](<https://www.sota2.com/research/sota/verification-on-sci-bench.md>): Verification; SCI-Bench; Mean@3 Accuracy: 78.1.

## Original sources and implementation

[Original paper](<https://arxiv.org/abs/2504.10481>)

[PDF](<https://arxiv.org/pdf/2504.10481.pdf>)
