Latest AI for Mathematics Research Papers

The newest AI for Mathematics papers from across the field — arXiv, NeurIPS, CVPR, Nature, and more — refreshed daily and ranked by relevance. Distill AI tracks AI for Mathematics so you don’t have to: get the standout work delivered to your inbox every morning, with 2-sentence summaries and the option to chat with any paper.

Recent papers

• NL2AGBench: Benchmarking LLM Auto-Formalization for AlphaGeometry
  Samuel Xiao, Judy Song, Rory Hu, Ziliang Zong · arXiv · Aug 28, 2026

  Recent advances in large language models (LLMs) have demonstrated strong capabilities in natural language understanding and mathematical reasoning. However, their ability to translate informal mathematical problems into formal representatio…

• Learning to Use Tools: Reinforcement Learning for Tool-Integrated Mathematical Reasoning
  Minghui Xu, Zi Wang · arXiv · Aug 28, 2026

  Current large language models (LLMs) increasingly benefit from external tool integration, especially for tasks requiring reliable computation and verification. Motivated by this, we study calculator tool calling for improving mathematical r…

• Imitation Learning for Connection-Tableau Construction
  Fredrik Rømming, Mantas Bakšys, Martin S. Fixman, Sean B. Holden · arXiv · Aug 26, 2026

  An automated theorem prover builds a proof step by step, choosing at each point what to add and what to remove. We cast this construction as a policy acting in a transition system induced by a formal calculus, which fixes which steps are so…

• On the Fragility of Self-Improving Agents: Variance, Task Order, and Underspecification
  Qinyuan Ye, Yu Li, Yada Pruksachatkun, Jiaxin Zhang et al. · arXiv · Aug 18, 2026

  Memory-based self-improving agents--those that learn from an online stream of tasks and improve over time by maintaining a textual memory bank--have shown great promise in recent literature. However, the reliability aspects of these methods…

• VAKRA: Evaluating Multi-Hop Reasoning Across APIs and Retrieval Under Tool-Use Policies
  Ankita Rajaram Naik, Anupama Murthi, Benjamin Elder, Siyu Huo et al. · arXiv · Aug 12, 2026

  Agents deployed in enterprise settings must reason across structured APIs and document collections, yet existing benchmarks evaluate these capabilities in isolation. We introduce VAKRA (e\textbf{V}aluating \textbf{A}PI and \textbf{K}nowledg…

• ERUnderstand: Evaluating Vision-Language Models on Structured ER Diagrams
  Ali Ansari, Yasmin Mohammadi, Farnoush Nili, Parsa Esmaeilkhani et al. · arXiv · Jul 27, 2026

  Entity-Relationship Diagrams (ERDs) are central to conceptual database design, yet they are typically available only as rendered images rather than machine-readable schemas, limiting AI-assisted database engineering. We introduce ERUndersta…

• Explainable AI for Mathematics: Proofs as Code with Knowledge Graph and Domain Ontology Support
  Oli Ataeva, Khalov A., Tuchkova N. · Mathematics & AI · May 22, 2026

  We investigate whether structured knowledge retrieval from a mathematical library's dependency graph can improve neural theorem proving at inference time while maintaining explainability of the retrieved context. Through a controlled ablati…