LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL.
Yutaka NagashimaPublished in: APLAS (2019)
Keyphrases
- theorem prover
- natural deduction
- programming language
- theorem proving
- proof planning
- natural language
- functional programs
- language learning
- inference rules
- data sets
- heuristic search
- relational databases
- machine learning
- first order logic
- knowledge representation
- evolutionary algorithm
- explanation based learning
- heuristic methods
- language processing
- induction algorithms
- cut elimination
- search algorithm
- higher order logic