HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving.
Kshitij BansalSarah M. LoosMarkus N. RabeChristian SzegedyStewart WilcoxPublished in: ICML (2019)
Keyphrases
- theorem proving
- theorem prover
- higher order logic
- machine learning
- first order logic
- automated reasoning
- automated deduction
- term rewriting
- proof planning
- inference rules
- automated theorem proving
- decision procedures
- geometry theorem proving
- parallel search
- higher order
- proof procedure
- concept formation
- predicate calculus
- knowledge representation
- feature selection
- consequence finding
- artificial intelligence
- conditional logic
- inductive logic programming
- similarity measure
- decision trees