Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems

6 June 2014

Papers citing "Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems"

6 / 6 papers shown

Title
Machine Learner for Automated Reasoning 0.4 and 0.5 C. Kaliszyk Josef Urban J. Vyskočil LRM 59 23 0 11 Feb 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
BliStr: The Blind Strategymaker Josef Urban 63 65 0 12 Jan 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