HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving

ICLR, Volume abs/1703.00426, 2017.

Cited by: 45|Bibtex|Views115
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|arxiv.org

Abstract:

Large computer-understandable proofs consist of millions of intermediatelogical steps. The vast majority of such steps originate from manuallyselected and manually guided heuristics applied to intermediate goals.So far, machine learning has generally not been used to filter orgenerate these steps. In this paper, we introduce a new dataset...More

Code:

Data:

Full Text
Your rating :
0

 

Tags
Comments