proof assistant

SITA: A Framework for Structure-to-Instance Theorem Autoformalization AAAI 2026 Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions EMNLP 2025 DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search ICLR 2025 LeanAgent: Lifelong Learning for Formal Theorem Proving ICLR 2025 Position: Formal Mathematical Reasoning—A New Frontier in AI ICML 2025 Benchmarking Automated Theorem Proving with Large Language Models EMNLP 2024 LeanReasoner: Boosting Complex Logical Reasoning with Lean NAACL 2024 Learning Structure-Aware Representations of Dependent Types NeurIPS 2024 LeanDojo: Theorem Proving with Retrieval-Augmented Language Models NeurIPS 2023 MLFMF: Data Sets for Machine Learning for Mathematical Formalization NeurIPS 2023 Spoq: Scaling Machine-Checkable Systems Verification in Coq OSDI 2023 Autoformalization with Large Language Models NeurIPS 2022 Proof Artifact Co-Training for Theorem Proving with Language Models ICLR 2022 Faster Smarter Proof by Induction in Isabelle/HOL IJCAI 2021 GoJournal: a verified, concurrent, crash-safe journaling system OSDI 2021 GamePad: A Learning Environment for Theorem Proving ICLR 2019 Learning to Prove Theorems via Interacting with Proof Assistants ICML 2019 A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality IJCAI 2017 Developing Bug-Free Machine Learning Systems With Formal Mathematics ICML 2017