The use of planning critics in mechanizing inductive proofs
Lecture notes in computer science2005pp. 178–189
Citations Over TimeTop 10% of 2005 papers
Related Papers
- → Computers, Justification, and Mathematical Knowledge(2007)33 cited
- Towards an interactive Mathematical Proof Language(2003)
- → ProofBuddy: A Proof Assistant for Learning and Monitoring(2023)5 cited
- → Baldur: Whole-Proof Generation and Repair with Large Language Models(2023)2 cited