Learning-assisted Theorem Proving with Millions of Lemmas

11 February 2014

Papers citing "Learning-assisted Theorem Proving with Millions of Lemmas"

13 / 13 papers shown

Title
REFACTOR: Learning to Extract Theorems from Proofs Jin Peng Zhou Yuhuai Wu Qiyang Li Roger C. Grosse AIMat 80 8 0 26 Feb 2024
Lemmas: Generation, Selection, Application Michael Rawson C. Wernhard Zsolt Zombori W. Bibel 65 7 0 10 Mar 2023
Proving Theorems using Incremental Learning and Hindsight Experience Replay Eser Aygun Laurent Orseau Ankit Anand Xavier Glorot Vlad Firoiu Lei M. Zhang Doina Precup Shibl Mourad CLL LRM 104 18 0 20 Dec 2021
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 117 127 0 11 Feb 2021
Learning to Prove Theorems by Learning to Generate Theorems Mingzhe Wang Jia Deng NAI 132 50 0 17 Feb 2020
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 128 14 0 13 Dec 2019
Learning to Reason in Large Theories without Imitation Kshitij Bansal Christian Szegedy M. Rabe Sarah M. Loos Viktor Toman NAI LRM 107 42 0 25 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 90 51 0 05 Apr 2019
Learning to Reason with HOL4 tactics Thibault Gauthier C. Kaliszyk Josef Urban 86 77 0 02 Apr 2018
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving C. Kaliszyk François Chollet Christian Szegedy 88 83 0 01 Mar 2017
Predicting SMT Solver Performance for Software Verification Andrew Healy Rosemary Monahan James F. Power 67 15 0 30 Jan 2017
Controlling Search in Very large Commonsense Knowledge Bases: A Machine Learning Approach Abhishek B. Sharma Michael Witbrock Keith M. Goolsbey LRM 29 4 0 14 Mar 2016
Certified Connection Tableaux Proofs for HOL Light and TPTP C. Kaliszyk Josef Urban J. Vyskočil 66 23 0 20 Oct 2014