Learning-assisted Theorem Proving with Millions of Lemmas

11 February 2014

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

10 / 10 papers shown

Title
Predicting SMT Solver Performance for Software Verification Andrew Healy Rosemary Monahan James F. Power 30 15 0 30 Jan 2017
Machine Learner for Automated Reasoning 0.4 and 0.5 C. Kaliszyk Josef Urban J. Vyskočil LRM 47 23 0 11 Feb 2014
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 73 134 0 10 Oct 2013
Lemma Mining over HOL Light C. Kaliszyk Josef Urban 32 12 0 10 Oct 2013
HOL(y)Hammer: Online ATP Service for HOL Light C. Kaliszyk Josef Urban 62 94 0 19 Sep 2013
BliStr: The Blind Strategymaker Josef Urban 45 65 0 12 Jan 2013
Learning-Assisted Automated Reasoning with Flyspeck C. Kaliszyk Josef Urban LRM 66 162 0 29 Nov 2012
Theorem Proving in Large Formal Mathematics as an Emerging AI Field Josef Urban J. Vyskočil AIMat 41 30 0 18 Sep 2012
ATP and Presentation Service for Mizar Formalizations Josef Urban P. Rudnicki G. Sutcliffe LRM 44 66 0 03 Sep 2011
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods Jesse Alama Tom Heskes D. Kühlwein Evgeni Tsivtsivadze Josef Urban LRM 73 146 0 17 Aug 2011