Encoding Induction Proof in Dafny.
Hongjian JiangYongjian LiSijun TanYongxin ZhaoPublished in: TASE (2021)
Keyphrases
- proof planning
- proof search
- theorem proving
- inductive learning
- concept formation
- linear logic
- theorem prover
- geometry theorem proving
- encoding schemes
- social networks
- explanation based learning
- machine learning
- encoding scheme
- rule induction
- mathematical proofs
- program synthesis
- first order logic
- search algorithm
- information retrieval