On Learning to Prove

24 April 2019

Papers citing "On Learning to Prove"

12 / 12 papers shown

Title
GamePad: A Learning Environment for Theorem Proving Daniel Huang Prafulla Dhariwal D. Song Ilya Sutskever 91 110 0 02 Jun 2018
Reinforcement Learning of Theorem Proving C. Kaliszyk Josef Urban Henryk Michalewski Miroslav Olsák 42 148 0 19 May 2018
Learning to Reason with HOL4 tactics Thibault Gauthier C. Kaliszyk Josef Urban 64 77 0 02 Apr 2018
Learning a SAT Solver from Single-Bit Supervision Daniel Selsam Matthew Lamm Benedikt Bünz Percy Liang L. D. Moura D. Dill NAI 90 424 0 11 Feb 2018
Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm David Silver Thomas Hubert Julian Schrittwieser Ioannis Antonoglou Matthew Lai ... D. Kumaran T. Graepel Timothy Lillicrap Karen Simonyan Demis Hassabis 143 1,775 0 05 Dec 2017
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving C. Kaliszyk François Chollet Christian Szegedy 52 82 0 01 Mar 2017
Deep Network Guided Proof Search Sarah M. Loos G. Irving Christian Szegedy C. Kaliszyk AIMat 74 159 0 24 Jan 2017
Logical Induction Scott Garrabrant Tsvi Benson-Tilsen Andrew Critch N. Soares Jessica Taylor 38 39 0 12 Sep 2016
DeepMath - Deep Sequence Models for Premise Selection Alexander A. Alemi François Chollet N. Eén G. Irving Christian Szegedy Josef Urban LRM AIMat 60 229 0 14 Jun 2016
Machine Learning of Coq Proof Guidance: First Experiments C. Kaliszyk L. Mamane Josef Urban LRM 33 17 0 20 Oct 2014
Machine Learning in Proof General: Interfacing Interfaces Ekaterina Komendantskaya Jónathan Heras G. Grov 77 56 0 14 Dec 2012
Probabilities on Sentences in an Expressive Logic Marcus Hutter John Lloyd K. S. Ng W. Uther 72 26 0 12 Sep 2012