MATH-AI workshop @ NeurIPS 2025

Stream: Machine Learning for Theorem Proving

[Kaiyu Yang]

I'm excited to share that the Workshop on Mathematical Reasoning and AI (MATH‑AI) will be at NeurIPS 2025! We're calling for 4-page non-archival workshop papers broadly related to AI + mathematics. Formal and informal are both welcome!

Time: December 6th or 7th (TBD), 2025
Location: San Diego, California
Workshop website: https://mathai2025.github.io/
Call for Papers: https://mathai2025.github.io/cfp/
Submission deadline (tentative, extension possible): August 29th
Reviewer Volunteering: https://docs.google.com/forms/d/e/1FAIpQLSfSWNSqacs-ssdC2PqXU566ViaF9f9zEPD6Q8Ai3ilNOuYFdQ/viewform

We're also looking for sponsorships to support travel grants, best paper award, etc. (Please DM me for details).