Mathematical Reasoning
NeurIPS 2025 AI4Math Highlights
Neural Information Processing Systems 2025 featured significant advances in neural theorem proving, mathematical reasoning, and autoformalization.
AI4Math at NeurIPS 2025
Workshops
- MATH-AI: Mathematical Reasoning in AI (3rd edition)
- Formal Verification: Neural methods for formal verification
- AI for Science: Mathematics and scientific discovery
Notable Papers
Theorem Proving
- TheoremLLaMA: Transforming LLMs into Lean4 experts
- Expert Iteration 2.0: Improved self-play for proof search
- Neural-guided SAT solving for combinatorics
Mathematical Reasoning
- Multimodal math: Vision-language models for geometry
- Chain-of-thought verification: Reducing reasoning errors
- Tool-augmented LLMs for symbolic integration
Autoformalization
- Large-scale autoformalization of arXiv papers
- Natural language to Isabelle/HOL translation
- Bidirectional informal-formal alignment
Awards
- Best Paper: Deep symbolic regression discovers physical laws
- Outstanding Paper: Neural theorem prover for undergraduate math
Statistics
- 50+ AI4Math papers accepted
- 3 dedicated workshops
- 500+ attendees at MATH-AI workshop