Machine Learner for Automated Reasoning 0.4 and 0.5

11 February 2014

Papers citing "Machine Learner for Automated Reasoning 0.4 and 0.5"

3 / 3 papers shown

Title
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