2nd AI for Math Workshop @ ICML 2025

We welcome full papers and work-in-progress submissions related but not limited to the following topics:

• Automated Theorem Proving: How can we build consistent theorem-proving systems? How can theorem-proving systems assist humans through human-computer interaction?

• Automated Theorem Generation: Can neural models generate new and practically meaningful theorems that have been discovered? How can we utilize these newly generated theorems?

• Autoformalization and Verification: How can we improve the precision of translating natural language proofs into formal proofs, and vice versa?

• Problem Solving: How can we develop AI models to solve complex mathematical computational problems across various domains? How can AI models improve themselves during the learning process?

• Applications of AI in Mathematics: What are the practical applications of AI-driven mathematical reasoning in various fields such as sciences, engineering, finance, and education?

In addition to the problem areas above, we also welcome research work related to the following topics:

• Algorithm: How to develop effective algorithms (e.g., reinforcement learning, self-improve/evolve) to improve reasoning ability? What are the key principles for developing algorithms that minimize resource consumption (e.g., time, memory) while maintaining or improving reasoning performance?

• Data Generation: Can AI models generate questions that they cannot answer correctly? Can AI models achieve self-improvement through self-generated data?

• Tool Utilization: How can AI systems leverage existing tools, such as code and software, to solve practical mathematical problems more effectively?

• Limitation Analysis: What are the drawbacks or limitations of current models in mathematical reasoning (e.g., robustness, generalization, and reasoning boundary)? How can these limitations be quantitatively analyzed?

• Paper Submission Open: March 18th, 2025

• Full Paper Submission Deadline: June 21st, 2025, AoE  May 31st, 2025, AoE

• Paper Decision Notification: July 7th, 2025  June 26th, 2025

• Camera-ready Version Deadline: July 18th, 2025

• The workshop uses OpenReview as the review platform. The paper template follows the ICML template. 

• The submission can be either of the following, with unlimited space for references and supplementary materials:

  • • A full paper (up to 8 pages).

    • An extended abstract (up to 2 pages). Figures and tables are allowed. 

• All papers will be reviewed in a double-blind process.

All accepted papers will be available through the OpenReview website and also displayed on the workshop website. However, all accepted papers are considered non-archival (so they can be submitted to other venues). 

• Best Paper Award for 1 paper. The authors will receive 1,500 USD, an official certificate, and one complimentary full conference registration for ICML 2025, and they will be invited to give a contributed talk at the workshop.

• Best Paper Runner Up for 3 papers. The authors will receive 1,000 USD and an official certificate.

• All accepted papers will be presented as posters at the workshop.

NOTE that in-person participation is encouraged as we are unable to support virtual poster presentations.