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
{"_id":"Lw2b9Q3MACWChpFEy","bibbaseid":"kaliszyk-urban-learningassistedautomatedreasoningwithflyspeck-2014","authorIDs":[],"author_short":["Kaliszyk, C.","Urban, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kaliszyk"],"firstnames":["Cezary"],"suffixes":[]},{"propositions":[],"lastnames":["Urban"],"firstnames":["Josef"],"suffixes":[]}],"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":"","bibtex":"@Article{Kaliszyk2014,\nauthor = {Kaliszyk, Cezary and Urban, Josef}, \ntitle = {Learning-Assisted Automated Reasoning with Flyspeck}, \njournal = {Journal of Automated Reasoning}, \nvolume = {53}, \nnumber = {2}, \npages = {173--213}, \nyear = {2014}, \nabstract = {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.}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Kaliszyk, C.","Urban, J."],"key":"Kaliszyk2014","id":"Kaliszyk2014","bibbaseid":"kaliszyk-urban-learningassistedautomatedreasoningwithflyspeck-2014","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.278Z","downloads":0,"keywords":[],"search_terms":["learning","assisted","automated","reasoning","flyspeck","kaliszyk","urban"],"title":"Learning-Assisted Automated Reasoning with Flyspeck","year":2014,"dataSources":["hEoKh4ygEAWbAZ5iy"]}