Lemma Mining over HOL Light

10 October 2013

Papers citing "Lemma Mining over HOL Light"

4 / 4 papers shown

Title
BliStr: The Blind Strategymaker Josef Urban 47 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
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