https://icml.cc/virtual/2025/workshop/39979
Ballroom C, West Building, Vancouver Convention Center
July 18th, 2025 @ Vancouver, Canada (Hybrid).
The workshop uses OpenReview as the review platform.
For detailed submission guidelines, please see below.
If you’d like to become a reviewer for the workshop or recommend someone, please use this form.
Many thanks for your service to the community!
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.