paper-with-me

Papers

Trust, But Verify: A Self-Verification Approach to Reinforcement Learning with Verifiable Rewards

2025-05-19 · Xiaoyuan Liu, Tian Liang, Zhiwei He, Jiahao Xu, Wenxuan Wang, Pinjia He, Zhaopeng Tu, Haitao Mi, Dong Yu

Large Language Models (LLMs) show great promise in complex reasoning, with Reinforcement Learning with Verifiable Rewards (RLVR) being a key enhancement strategy. However, a prevalent issue is ``superficial self-reflection'', where models fail to robustly verify their own outputs. We introduce RISE (Reinforcing Reasoning with Self-Verification), a novel online RL framework designed to tackle this. RISE explicitly and simultaneously trains an LLM to improve both its problem-solving and self-verification abilities within a single, integrated RL process. The core mechanism involves leveraging verifiable rewards from an outcome verifier to provide on-the-fly feedback for both solution generation and self-verification tasks. In each iteration, the model generates solutions, then critiques its own on-policy generated solutions, with both trajectories contributing to the policy update. Extensive experiments on diverse mathematical reasoning benchmarks show that RISE consistently improves model's problem-solving accuracy while concurrently fostering strong self-verification skills. Our analyses highlight the advantages of online verification and the benefits of increased verification compute. Additionally, RISE models exhibit more frequent and accurate self-verification behaviors during reasoning. These advantages reinforce RISE as a flexible and effective path towards developing more robust and self-aware reasoners.

📄 PDF Abstract BibTeX arXiv:2505.13445

Code (1)

xyliu-cs/rise 공식 구현 pytorch

Tasks

Mathematical Reasoning

Similar Papers 제목 키워드 기반

Soft-SVeRL: Self-Verified Reinforcement Learning with Soft Rewards

2026-05-27 · Saurabh Dash, Pierre Clavier, John Dang, Matthias Galle 외 arxiv

Reinforcement Learning from Verifiable Rewards (RLVR) has improved language models in domains such as mathematics and code, where correctness can be checked automatically. However, many important tasks are only partially…

Reinforcement Learning

EigenAI: Deterministic Inference, Verifiable Results

2026-01-30 · David Ribeiro Alves, Vishnu Patankar, Matheus Pereira, Jamie Stephens 외 arxiv

EigenAI is a verifiable AI platform built on top of the EigenLayer restaking ecosystem. At a high level, it combines a deterministic large-language model (LLM) inference engine with a cryptoeconomically secured optimisti…

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

2025-11-27 · Zhihong Shao, Yuxiang Luo, Chengda Lu, Z. Z. Ren 외 arxiv

Large language models have made significant progress in mathematical reasoning, which serves as an important testbed for AI and could impact scientific research if further advanced. By scaling reasoning with reinforcemen…

Reinforcement LearningMathematical Reasoning

Verifiable Homomorphic Linear Combinations in Multi-Instance Time-Lock Puzzles

2024-08-22 · Aydin Abadi

Time-Lock Puzzles (TLPs) have been developed to securely transmit sensitive information into the future without relying on a trusted third party. Multi-instance TLP is a scalable variant of TLP that enables a server to e…

VeriFi: Towards Verifiable Federated Unlearning

2022-05-25 · Xiangshan Gao, Xingjun Ma, Jingyi Wang, Youcheng Sun 외

Federated learning (FL) is a collaborative learning paradigm where participants jointly train a powerful model without sharing their private data. One desirable property for FL is the implementation of the right to be fo…

Federated Learning