Property-Based Conjecturing for Automated Induction in Isabelle/HOL.
Yutaka NagashimaZijin XuNingli WangDaniel Sebastian GocJames BangPublished in: CoRR (2022)
Keyphrases
- theorem prover
- natural deduction
- proof search
- semi automated
- theorem proving
- inference rules
- inductive learning
- fully automated
- sequent calculus
- formal methods
- first order logic
- computer aided
- semi automatic
- context sensitive
- computer assisted
- program synthesis
- data mining
- higher order logic
- subgroup discovery
- automated analysis
- databases
- inductive inference
- sufficient conditions
- search algorithm
- data structure
- case study
- artificial intelligence
- information retrieval
- machine learning
- real world