Theorem Proving papers, 2023–2026

Key findings

• Theorem Proving went from 3 papers in 2023 to 38 in 2026, roughly 13x in three years.
• ICLR publishes the most Theorem Proving work: 32 papers from 2023 to 2026, 40% of the four-venue total.
• The fastest-growing overlap is with Mathematical Reasoning: papers tagged with both rose from 1 in 2023 to 16 in 2026.
• Among the 5 topics under Program Synthesis, it ranks #3 by 2026 paper count; the fastest grower in the group, Formal Verification ML, is up 3.7x versus 13x here.

Representative papers

Spread across years and venues so every edition shows up

• NeurIPS 2026A Theoretical Framework for Self-Play Theorem Proving Algorithms
• ICML 2026Automated Formal Proofs of Combinatorial Identities via Wilf–Zeilberger Guidance and LLMs
• ICLR 2026LoC-Decomp: LLM Autoformalization via Logical Concept Decomposition and Iterative Feedback Correction
• NeurIPS 20253D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
• ICML 2025Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods
• ICLR 2025Alchemy: Amplifying Theorem-Proving Capability Through Symbolic Mutation
• CVPR 2025Automated Proof of Polynomial Inequalities via Reinforcement Learning
• NeurIPS 2024FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
• ICML 2024Position: The No Free Lunch Theorem, Kolmogorov Complexity, and the Role of Inductive Biases in Machine Learning
• ICLR 2024A Characterization Theorem for Equivariant Networks with Point-wise Activations
• ICML 2023Extending Conformal Prediction to Hidden Markov Models with Exact Validity via de Finetti's Theorem for Markov Chains
• ICLR 2023Formal Mathematics Statement Curriculum Learning
• NeurIPS 2026Compositional Generalization Certificates via the Van Kampen Theorem
• ICML 2026Editable Proof Sketch for Automated Theorem Proving
• ICLR 2026Premise Selection for a Lean Hammer
• NeurIPS 2025Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities
• ICML 2025ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
• ICLR 2025ImProver: Agent-Based Automated Proof Optimization
• NeurIPS 2024Proving Olympiad Algebraic Inequalities without Human Demonstrations
• ICML 2024Subgoal-based Demonstration Learning for Formal Theorem Proving

All Theorem Proving papers

23 papers, page 1 of 1

1. NeurIPS 2026A Theoretical Framework for Self-Play Theorem Proving Algorithms
2. NeurIPS 2026Compositional Generalization Certificates via the Van Kampen Theorem
3. NeurIPS 2026DAPS: Dependency-Aware Premise Selection for LLM Theorem Proving
4. NeurIPS 2026Distilling LLM Feedback for Lean Theorem Proving
5. NeurIPS 2026How does RL Post-training Induce Skill Composition? A Case Study on Countdown
6. NeurIPS 2026LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
7. NeurIPS 20253D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
8. NeurIPS 2025ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
9. NeurIPS 2025Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization
10. NeurIPS 2025CLEVER: A Curated Benchmark for Formally Verified Code Generation
11. NeurIPS 2025Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities
12. NeurIPS 2025miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward
13. NeurIPS 2025MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
14. NeurIPS 2025Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
15. NeurIPS 2025Tree-Based Premise Selection for Lean4
16. NeurIPS 2024Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
17. NeurIPS 2024FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
18. NeurIPS 2024Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
19. NeurIPS 2024Learning Structure-Aware Representations of Dependent Types
20. NeurIPS 2024Learning to Mitigate Externalities: the Coase Theorem with Hindsight Rationality
21. NeurIPS 2024Proving Olympiad Algebraic Inequalities without Human Demonstrations
22. NeurIPS 2024Proving Theorems Recursively
23. NeurIPS 2024PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

FAQ

How many Theorem Proving papers were published at NeurIPS, ICLR, ICML and CVPR from 2023 to 2026?

80 in total: 3 in 2023, 19 in 2024, 20 in 2025, 38 in 2026.

How many Theorem Proving papers are at NeurIPS 2026?

NeurIPS 2026 has 6 Theorem Proving papers, versus 9 the year before.

How many Theorem Proving papers are at ICLR 2026?

ICLR 2026 has 15 Theorem Proving papers, versus 7 the year before.

How many Theorem Proving papers are at ICML 2026?

ICML 2026 has 17 Theorem Proving papers, versus 3 the year before.

How many Theorem Proving papers are at CVPR 2025?

CVPR 2025 has 1 Theorem Proving papers.

Which conference publishes the most Theorem Proving papers?

ICLR, with 32 papers from 2023 to 2026.