AAAI 2025 AI for Mathematics

AAAI 2025 AI4Math Highlights

Special Tracks

• AI for Mathematics Education
• Automated Reasoning and Theorem Proving
• Explainable AI for Science

Education Track

• Intelligent tutoring systems for calculus
• Personalized math learning with LLMs
• Automated assessment of mathematical proofs
• Gamification of formal verification education

Reasoning Track

• SAT solvers for combinatorial mathematics
• SMT for real algebraic geometry
• Automated discovery of inequalities
• AI-assisted counterexample finding

Industry Applications

• Formal verification of financial algorithms
• Certified compiler optimizations
• Mathematical software verification

Student Abstracts

• 20+ student papers on AI4Math topics
• Strong participation from undergraduate researchers