MizAR 40 for Mizar 40

10 October 2013

Papers citing "MizAR 40 for Mizar 40"

7 / 7 papers shown

Title
Machine Learner for Automated Reasoning 0.4 and 0.5 C. Kaliszyk Josef Urban J. Vyskočil LRM 53 23 0 11 Feb 2014
HOL(y)Hammer: Online ATP Service for HOL Light C. Kaliszyk Josef Urban 70 94 0 19 Sep 2013
BliStr: The Blind Strategymaker Josef Urban 50 65 0 12 Jan 2013
Learning-Assisted Automated Reasoning with Flyspeck C. Kaliszyk Josef Urban LRM 68 162 0 29 Nov 2012
Theorem Proving in Large Formal Mathematics as an Emerging AI Field Josef Urban J. Vyskočil AIMat 47 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 79 146 0 17 Aug 2011