Machine Learning of Coq Proof Guidance: First Experiments

20 October 2014

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

5 / 5 papers shown

Title
Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems Sebastiaan J. C. Joosten C. Kaliszyk Josef Urban LRM 32 6 0 06 Jun 2014
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 104 135 0 10 Oct 2013
HOL(y)Hammer: Online ATP Service for HOL Light C. Kaliszyk Josef Urban 80 95 0 19 Sep 2013
Learning-Assisted Automated Reasoning with Flyspeck C. Kaliszyk Josef Urban LRM 83 162 0 29 Nov 2012
ATP and Presentation Service for Mizar Formalizations Josef Urban P. Rudnicki G. Sutcliffe LRM 51 66 0 03 Sep 2011