Template-Based Conjecturing for Automated Induction in Isabelle/HOL.
Yutaka NagashimaZijin XuNingli WangDaniel Sebastian GocJames BangPublished in: FSEN (2023)
Keyphrases
- theorem prover
- natural deduction
- proof search
- machine learning
- semi automated
- theorem proving
- fully automated
- inductive learning
- inference rules
- first order logic
- concept learning
- concept formation
- computer aided
- fully automatic
- rule induction
- multiscale
- formal methods
- subgroup discovery
- constructive induction
- similarity measure
- data mining