Learning to Give Checkable Answers with Prover-Verifier Games

27 August 2021

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

8 / 8 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 W. Schmidt Jun Wang Weinan Zhang Shuyue Hu Ying Wen LLMAG KELM LRM AI4CE 92 6 0 12 Mar 2025
Neural Interactive Proofs Lewis Hammond Sam Adam-Day AAML 92 2 0 12 Dec 2024
Retrospective Learning from Interactions Zizhao Chen Mustafa Omer Gul Yiwei Chen Gloria Geng Anne Wu Yoav Artzi LRM 31 1 0 17 Oct 2024
Self-critiquing models for assisting human evaluators William Saunders Catherine Yeh Jeff Wu Steven Bills Ouyang Long Jonathan Ward Jan Leike ALM ELM 29 282 0 12 Jun 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett Hao Fei Guy Katz AAML 35 20 0 01 Jun 2022
On Solving Minimax Optimization Locally: A Follow-the-Ridge Approach Yuanhao Wang Guodong Zhang Jimmy Ba 33 100 0 16 Oct 2019
AI safety via debate G. Irving Paul Christiano Dario Amodei 204 201 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 249 1,842 0 03 Feb 2017