neural theorem proving

Towards a Common Framework for Autoformalization AAAI 2026 Alchemy: Amplifying Theorem-Proving Capability Through Symbolic Mutation ICLR 2025 CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search ICLR 2025 LeanAgent: Lifelong Learning for Formal Theorem Proving ICLR 2025 miniCTX: Neural Theorem Proving with (Long-)Contexts ICLR 2025 RLMEval: Evaluating Research-Level Neural Theorem Proving EMNLP 2025 FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NeurIPS 2024 LeanReasoner: Boosting Complex Logical Reasoning with Lean NAACL 2024 LEGO-Prover: Neural Theorem Proving with Growing Libraries ICLR 2024 PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition NeurIPS 2024 Soft-Unification in Deep Probabilistic Logic NeurIPS 2023 HyperTree Proof Search for Neural Theorem Proving NeurIPS 2022 miniF2F: a cross-system benchmark for formal Olympiad-level mathematics ICLR 2022 A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving AAAI 2021 End-to-end Differentiable Proving NeurIPS 2017