Proof Pearl: The KeY to Correct and Stable Sorting Stijn de GouwFrank de BoerJurriaan Rot OriginalPaper 15 January 2014 Pages: 129 - 139
Machine Learning for First-Order Theorem Proving James P. BridgeSean B. HoldenLawrence C. Paulson OriginalPaper 22 February 2014 Pages: 141 - 172
Learning-Assisted Automated Reasoning with Flyspeck Cezary KaliszykJosef Urban OriginalPaper Open access 01 June 2014 Pages: 173 - 213