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 81 121 0 11 Feb 2021
A Generalization of Transformer Networks to Graphs Vijay Prakash Dwivedi Xavier Bresson AI4CE 88 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 47 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 498 41,106 0 28 May 2020
Learning to Prove Theorems by Learning to Generate Theorems Mingzhe Wang Jia Deng NAI 49 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 449 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 50 53 0 27 Sep 2019
Learning to Prove Theorems via Interacting with Proof Assistants Kaiyu Yang Jia Deng AIMat LRM 86 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 40 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 55 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 443 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 48 335 0 15 Mar 2017
Deep Network Guided Proof Search Sarah M. Loos G. Irving Christian Szegedy C. Kaliszyk AIMat 51 158 0 24 Jan 2017