Proof Guidance in PVS with Sequential Pattern Mining

DOI10.1007/978-3-030-31517-7_4MaRDI QIDQ6488948FDOQ6488948

Authors: M. Nawaz, Meng Sun, Philippe Fournier-Viger 

Publication date: 14 March 2024

Recommendations

• Mining state-based models from proof corpora
• Recycling proof patterns in Coq: case studies
• CoProver: a recommender system for proof construction
• Deep network guided proof search
• Proof-pattern recognition and lemma discovery in ACL2

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (1)

• CoProver: a recommender system for proof construction

This page was built for publication: Proof Guidance in PVS with Sequential Pattern Mining

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488948)