Learning-Assisted Automated Reasoning with Flyspeck. Kaliszyk, C. & Urban, J. Journal of Automated Reasoning, 53(2):173–213, 2014.
abstract   bibtex   
Abstract The considerable mathematical knowledge encoded by the Flyspeck project is combined with external automated theorem provers (ATPs) and machine- learning premise selection methods trained on the Flyspeck proofs, producing an AI system capable of.
@Article{Kaliszyk2014,
author = {Kaliszyk, Cezary and Urban, Josef}, 
title = {Learning-Assisted Automated Reasoning with Flyspeck}, 
journal = {Journal of Automated Reasoning}, 
volume = {53}, 
number = {2}, 
pages = {173--213}, 
year = {2014}, 
abstract = {Abstract The considerable mathematical knowledge encoded by the Flyspeck project is combined with external automated theorem provers (ATPs) and machine- learning premise selection methods trained on the Flyspeck proofs, producing an AI system capable of.}, 
location = {}, 
keywords = {}}

Downloads: 0