paper-with-me

홈 › Papers

Rewarding Progress: Scaling Automated Process Verifiers for LLM Reasoning

2024-10-10 · Amrith Setlur, Chirag Nagpal, Adam Fisch, Xinyang Geng, Jacob Eisenstein, Rishabh Agarwal, Alekh Agarwal, Jonathan Berant, Aviral Kumar

A promising approach for improving reasoning in large language models is to use process reward models (PRMs). PRMs provide feedback at each step of a multi-step reasoning trace, potentially improving credit assignment over outcome reward models (ORMs) that only provide feedback at the final step. However, collecting dense, per-step human labels is not scalable, and training PRMs from automatically-labeled data has thus far led to limited gains. To improve a base policy by running search against a PRM or using it as dense rewards for reinforcement learning (RL), we ask: "How should we design process rewards?". Our key insight is that, to be effective, the process reward for a step should measure progress: a change in the likelihood of producing a correct response in the future, before and after taking the step, corresponding to the notion of step-level advantages in RL. Crucially, this progress should be measured under a prover policy distinct from the base policy. We theoretically characterize the set of good provers and our results show that optimizing process rewards from such provers improves exploration during test-time search and online RL. In fact, our characterization shows that weak prover policies can substantially improve a stronger base policy, which we also observe empirically. We validate our claims by training process advantage verifiers (PAVs) to predict progress under such provers, and show that compared to ORMs, test-time search against PAVs is $>8\%$ more accurate, and $1.5-5\times$ more compute-efficient. Online RL with dense rewards from PAVs enables one of the first results with $5-6\times$ gain in sample efficiency, and $>6\%$ gain in accuracy, over ORMs.

📄 PDF Abstract BibTeX arXiv:2410.08146

Code (0)

등록된 구현이 없습니다.

Tasks

Reinforcement Learning (RL)

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically
BASE 설명 없음

Similar Papers 제목 키워드 기반

Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers

2025-02-27 · Shalev Lifshitz, Sheila A. McIlraith, Yilun Du

By utilizing more computational resources at test-time, large language models (LLMs) can improve without additional training. One common strategy uses verifiers to evaluate candidate outputs. In this work, we propose a n…

Trust but Verify! A Survey on Verification Design for Test-time Scaling

2025-08-20 · V Venktesh, Mandeep Rathee, Avishek Anand arxiv

Test-time scaling (TTS) has emerged as a new frontier for scaling the performance of Large Language Models. In test-time scaling, by using more computational resources during inference, LLMs can improve their reasoning p…

OPV: Outcome-based Process Verifier for Efficient Long Chain-of-Thought Verification

2025-12-11 · Zijian Wu, Lingkai Kong, Wenwei Zhang, Songyang Gao 외 arxiv

Large language models (LLMs) have achieved significant progress in solving complex reasoning tasks by Reinforcement Learning with Verifiable Rewards (RLVR). This advancement is also inseparable from the oversight automat…

Reinforcement LearningActive Learning

Budget-aware Test-time Scaling via Discriminative Verification

2025-10-16 · Kyle Montgomery, Sijun Tan, Yuqi Chen, Siyuan Zhuang 외 arxiv

Test-time scaling is a powerful strategy for boosting the performance of large language models on complex reasoning tasks. While state-of-the-art approaches often employ generative verifiers to select the best solution f…

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

2022-02-10 · Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi 외

Verification of neural networks is currently a hot topic in automated theorem proving. Progress has been rapid and there are now a wide range of tools available that can verify properties of networks with hundreds of tho…

Automated Theorem Proving