Training a First-Order Theorem Prover from Synthetic Data

Training a First-Order Theorem Prover from Synthetic Data

5 March 2021

Lei Zhang

Papers citing "Training a First-Order Theorem Prover from Synthetic Data"

13 / 13 papers shown

Title
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 71 121 0 11 Feb 2021
A Generalization of Transformer Networks to Graphs Vijay Prakash Dwivedi Xavier Bresson AI4CE 86 736 0 17 Dec 2020
Emergent Complexity and Zero-shot Transfer via Unsupervised Environment Design Michael Dennis Natasha Jaques Eugene Vinitsky Alexandre M. Bayen Stuart J. Russell Andrew Critch Sergey Levine 39 228 0 03 Dec 2020
Language Models are Few-Shot Learners Tom B. Brown Benjamin Mann Nick Ryder Melanie Subbiah Jared Kaplan ... Christopher Berner Sam McCandlish Alec Radford Ilya Sutskever Dario Amodei BDL 445 41,106 0 28 May 2020
Learning to Prove Theorems by Learning to Generate Theorems Mingzhe Wang Jia Deng NAI 36 50 0 17 Feb 2020
Scaling Laws for Neural Language Models Jared Kaplan Sam McCandlish T. Henighan Tom B. Brown B. Chess R. Child Scott Gray Alec Radford Jeff Wu Dario Amodei 435 4,662 0 23 Jan 2020
Automated curricula through setter-solver interactions S. Racanière Andrew Kyle Lampinen Adam Santoro David P. Reichert Vlad Firoiu Timothy Lillicrap 41 53 0 27 Sep 2019
Learning to Prove Theorems via Interacting with Proof Assistants Kaiyu Yang Jia Deng AIMat LRM 84 144 0 21 May 2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving Kshitij Bansal Sarah M. Loos M. Rabe Christian Szegedy S. Wilcox AIMat 38 51 0 05 Apr 2019
Intrinsically Motivated Goal Exploration Processes with Automatic Curriculum Learning Sébastien Forestier Rémy Portelas Yoan Mollard Pierre-Yves Oudeyer 48 186 0 07 Aug 2017
Attention Is All You Need Ashish Vaswani Noam M. Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan Gomez Lukasz Kaiser Illia Polosukhin 3DV 360 129,831 0 12 Jun 2017
Intrinsic Motivation and Automatic Curricula via Asymmetric Self-Play Sainbayar Sukhbaatar Zeming Lin Ilya Kostrikov Gabriel Synnaeve Arthur Szlam Rob Fergus SSL 46 335 0 15 Mar 2017
Deep Network Guided Proof Search Sarah M. Loos G. Irving Christian Szegedy C. Kaliszyk AIMat 47 158 0 24 Jan 2017