Critique to Verify: Accurate and Honest Test-Time Scaling with RL-Trained Verifiers

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Yang, Zhicheng, Guo, Zhijiang, Huang, Yinya, Wang, Yongxin, Wang, Yiwei, Liang, Xiaodan, Tang, Jing
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866914060853837824
author Yang, Zhicheng
Guo, Zhijiang
Huang, Yinya
Wang, Yongxin
Wang, Yiwei
Liang, Xiaodan
Tang, Jing
author_facet Yang, Zhicheng
Guo, Zhijiang
Huang, Yinya
Wang, Yongxin
Wang, Yiwei
Liang, Xiaodan
Tang, Jing
contents Test-time scaling via solution sampling and aggregation has become a key paradigm for improving the reasoning performance of Large Language Models (LLMs). While reward model selection is commonly employed in this approach, it often fails to identify minority-yet-correct answers, which limits its effectiveness beyond that of simple majority voting. We argue that this limitation stems from a lack of informative critique signals during verifier training. To bridge this gap, we introduce Mirror-Critique, a framework that trains a verifier with informative critiques. Our key insight is to leverage the rich critique signal by contrasting model-generated solutions with ground-truth solutions. We deploy a small instruction-tuned model to synthesize high-quality critique data with rejection sampling that teaches the verifier not only what is wrong, but also why. The synthetic data is used to cold-start the LLMs in the RLVR process to further improve the verification ability. The resulting Mirror-Verifier is deployed to evaluate candidate solutions by generating multiple critiques per solution, aggregating them into a verify score used for weighted voting or selective abstention. The experimental results show that our Mirror-Verifier significantly outperforms majority voting in terms of solution accuracy and also improves the solver's honesty to recognize and abstain from answering beyond its capability boundaries.
format Preprint
id arxiv_https___arxiv_org_abs_2509_23152
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Critique to Verify: Accurate and Honest Test-Time Scaling with RL-Trained Verifiers
Yang, Zhicheng
Guo, Zhijiang
Huang, Yinya
Wang, Yongxin
Wang, Yiwei
Liang, Xiaodan
Tang, Jing
Machine Learning
Test-time scaling via solution sampling and aggregation has become a key paradigm for improving the reasoning performance of Large Language Models (LLMs). While reward model selection is commonly employed in this approach, it often fails to identify minority-yet-correct answers, which limits its effectiveness beyond that of simple majority voting. We argue that this limitation stems from a lack of informative critique signals during verifier training. To bridge this gap, we introduce Mirror-Critique, a framework that trains a verifier with informative critiques. Our key insight is to leverage the rich critique signal by contrasting model-generated solutions with ground-truth solutions. We deploy a small instruction-tuned model to synthesize high-quality critique data with rejection sampling that teaches the verifier not only what is wrong, but also why. The synthetic data is used to cold-start the LLMs in the RLVR process to further improve the verification ability. The resulting Mirror-Verifier is deployed to evaluate candidate solutions by generating multiple critiques per solution, aggregating them into a verify score used for weighted voting or selective abstention. The experimental results show that our Mirror-Verifier significantly outperforms majority voting in terms of solution accuracy and also improves the solver's honesty to recognize and abstain from answering beyond its capability boundaries.
title Critique to Verify: Accurate and Honest Test-Time Scaling with RL-Trained Verifiers
topic Machine Learning
url https://arxiv.org/abs/2509.23152