CoProver: a recommender system for proof construction

DOI10.1007/978-3-031-42753-4_16arXiv2304.10486OpenAlexW4386297673MaRDI QIDQ6118837

Eric Yeh, Maena Quemener, Natarajan Shankar, Briland Hitaj, Sam Owre

Publication date: 28 February 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2304.10486

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• Unnamed Item
• A learning-based fact selector for Isabelle/HOL
• IeanCOP: lean connection-based theorem proving
• TacticToe: learning to prove with tactics
• Towards the automatic mathematician
• Guiding high-performance SAT solvers with unsat-core predictions
• ENIGMA: efficient learning-based inference guiding machine
• MaLeCoP Machine Learning Connection Prover
• SEPIA: Search for Proofs Using Inferred Automata
• FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover
• Introduction to Information Retrieval
• Automated Reasoning, Fast and Slow
• MaSh: Machine Learning for Sledgehammer

This page was built for publication: CoProver: a recommender system for proof construction