Machine Learning of Coq Proof Guidance: First Experiments

20 October 2014

Papers citing "Machine Learning of Coq Proof Guidance: First Experiments"

3 / 3 papers shown

Title
On Learning to Prove Daniel Huang 57 3 0 24 Apr 2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving Kshitij Bansal Sarah M. Loos M. Rabe Christian Szegedy S. Wilcox AIMat 101 51 0 05 Apr 2019
Certified Connection Tableaux Proofs for HOL Light and TPTP C. Kaliszyk Josef Urban J. Vyskočil 77 23 0 20 Oct 2014