Proof Guidance in PVS with Sequential Pattern Mining

DOI10.1007/978-3-030-31517-7_4MaRDI QIDQ6488948zbMATH OpenFDO

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

Publication date 14 March 2024

Mathematics Subject Classification ID

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

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

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)