Models That Prove Their Own Correctness

24 May 2024

Papers citing "Models That Prove Their Own Correctness"

5 / 5 papers shown

Title
Neural Interactive Proofs Lewis Hammond Sam Adam-Day AAML 84 2 0 12 Dec 2024
Training language models to follow instructions with human feedback Long Ouyang Jeff Wu Xu Jiang Diogo Almeida Carroll L. Wainwright ... Amanda Askell Peter Welinder Paul Christiano Jan Leike Ryan J. Lowe OSLM ALM 301 11,730 0 04 Mar 2022
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models Jason W. Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Brian Ichter F. Xia Ed H. Chi Quoc Le Denny Zhou LM&Ro LRM AI4CE ReLM 315 8,261 0 28 Jan 2022
Learning algorithms from circuit lower bounds J. Pich 14 5 0 28 Dec 2020
AI safety via debate G. Irving Paul Christiano Dario Amodei 199 199 0 02 May 2018