Learning from experts to aid the automation of proof search (original) (raw)
Related papers
2009
Automatic Learning of Proof Methods in Proof Planning
Logic Journal of IGPL, 2003
The use of proof plans in formal methods
Design and Implementation of Symbolic Computation Systems, 1990
The AI4FM approach for proof automation within formal methods
2010
A Model for Capturing and Replaying Proof Strategies
Lecture Notes in Computer Science, 2014
Lemma Discovery and Middle-Out Reasoning for Automated Inductive Proofs
2010
2002
3.9 Capturing and Inferring the Proof Process (Part 1: Case Studies)
2013
Using AI to aid automation of proof search in Formal Methods
The use of explicit plans to guide inductive proofs
9th International Conference on Automated Deduction
A Survey on Theorem Provers in Formal Methods
ArXiv, 2019
Towards a framework to integrate proof search paradigms
2003
Proof Patterns for Formal Methods
Lecture Notes in Computer Science, 2014
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers
Lecture Notes in Computer Science, 1999
Experiments with proof plans for induction
Journal of Automated Reasoning, 1991
Ecole Polytechnique Project PSI: “Proof Search control in Interaction with domain-specific methods”
2013
An Interactive Driver for Goal-directed Proof Strategies
Electronic Notes in Theoretical Computer Science, 2009
Increasing the versatility of heuristic based theorem provers
Lecture Notes in Computer Science, 1993
Ideas for a high-level proof strategy language
2010
The Use of Proof Planning for Co-Operative Theorem Proving
Journal of Symbolic Computation, 1998
Lemma discovery in automating induction
Automated Deduction — Cade-13, 1996
Rippling: A heuristic for guiding inductive proofs
Artificial intelligence, 1993
Research in Advanced Formal Theorem-Proving Techniques
A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas
Electronic Notes in Theoretical Computer Science, 2001
Electronic Notes in Theoretical Computer Science, 2002
Proof step analysis for proof tutoringa learning approach to granularity
Teaching Mathematics and …, 2009
Learning from an expert’s proof
2015