HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving.
Cezary KaliszykFrançois CholletChristian SzegedyPublished in: ICLR (Poster) (2017)
Keyphrases
- theorem proving
- higher order logic
- theorem prover
- machine learning
- first order logic
- automated reasoning
- term rewriting
- inference rules
- automated deduction
- automated theorem proving
- proof planning
- higher order
- decision procedures
- proof procedure
- decision trees
- geometry theorem proving
- consequence finding
- feature selection
- parallel search
- learning algorithm
- concept formation
- active learning
- inductive logic programming
- feature set
- knowledge representation
- predicate calculus
- proof search
- reasoning systems
- data mining
- knowledge base
- equational theories