HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving.
Cezary KaliszykFrançois CholletChristian SzegedyPublished in: CoRR (2017)
Keyphrases
- theorem proving
- higher order logic
- theorem prover
- machine learning
- first order logic
- automated reasoning
- inference rules
- automated deduction
- automated theorem proving
- term rewriting
- higher order
- consequence finding
- decision procedures
- parallel search
- proof planning
- proof procedure
- conditional logic
- geometry theorem proving
- predicate calculus
- logical framework
- modal logic
- knowledge representation
- decision trees
- data mining
- feature construction
- concept formation
- reasoning tasks
- incomplete information
- proof search
- logic programming
- genetic programming
- expert systems