Learning-Assisted Automated Reasoning with Flyspeck

29 November 2012

Papers citing "Learning-Assisted Automated Reasoning with Flyspeck"

7 / 7 papers shown

Title
Predicting SMT Solver Performance for Software Verification Andrew Healy Rosemary Monahan James F. Power 30 15 0 30 Jan 2017
BliStr: The Blind Strategymaker Josef Urban 45 65 0 12 Jan 2013
Theorem Proving in Large Formal Mathematics as an Emerging AI Field Josef Urban J. Vyskočil AIMat 39 30 0 18 Sep 2012
ATP and Presentation Service for Mizar Formalizations Josef Urban P. Rudnicki G. Sutcliffe LRM 41 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 70 146 0 17 Aug 2011
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar Josef Urban G. Sutcliffe LRM 65 36 0 25 May 2010
Proviola: A Tool for Proof Re-animation C. Tankink H. Geuvers James McKinna F. Wiedijk 91 27 0 15 May 2010