Learning to Give Checkable Answers with Prover-Verifier Games

27 August 2021

Papers citing "Learning to Give Checkable Answers with Prover-Verifier Games"

9 / 9 papers shown

Title
ReMA: Learning to Meta-think for LLMs with Multi-Agent Reinforcement Learning Bo Liu Yunxiang Li Yangqiu Song Hanjing Wang Linyi Yang Mark Schmidt Jun Wang Weinan Zhang Shuyue Hu Ying Wen LLMAG KELM LRM AI4CE 97 6 0 12 Mar 2025
Neural Interactive Proofs Lewis Hammond Sam Adam-Day AAML 97 2 0 12 Dec 2024
Retrospective Learning from Interactions Zizhao Chen Mustafa Omer Gul Yiwei Chen Gloria Geng Anne Wu Yoav Artzi LRM 36 1 0 17 Oct 2024
PAC Verification of Statistical Algorithms Saachi Mutreja Jonathan Shafer 15 3 0 28 Nov 2022
Self-critiquing models for assisting human evaluators William Saunders Catherine Yeh Jeff Wu Steven Bills Ouyang Long Jonathan Ward Jan Leike ALM ELM 34 283 0 12 Jun 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett Hao Fei Guy Katz AAML 40 20 0 01 Jun 2022
On Solving Minimax Optimization Locally: A Follow-the-Ridge Approach Yuanhao Wang Guodong Zhang Jimmy Ba 35 100 0 16 Oct 2019
AI safety via debate G. Irving Paul Christiano Dario Amodei 206 203 0 02 May 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017