AI for Math Workshop @ ICML 2024

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

• Autoformalization and reversed auto-informalization: How can we develop methods that improve the precision of the autoformalization process from natural language proof to formal proof, and as a dual process describing a formal proof in natural language? 

• Automated theorem proving: How do build consistent theorem proving? How do we relieve or solve the intermediate step errors in proving?

• Automated theorem generation: Can neural models generate new and practically valid theorems? How do we take full advantage of such generated new theorems? 

• Code augmentation and auxiliary for mathematical reasoning: How can the handy and plentiful code data facilitate the models to conduct mathematical reasoning? 

• Formal verification and code generation: How can progress made in AI for Math help or be directly deployed to the field of formal verification? What are the common technical difficulties? How can AI systems be able to write provably correct code, given any (formal) specifications?

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

• Measurement: How do we measure autoformalization?

• Reasoning in related areas: neurosymbolic reasoning, program synthesis, logical reasoning.

• Applications: Applying mathematical reasoning techniques to sciences, finance, education, etc.

• Paper Submission Open: March 27th, 2024

• Full Paper Submission Deadline: May 31st, 2024, AOE

• Paper Decision Notification: June 12th, 2024, AOE

• Camera-ready Version Deadline: June 26th, 2024, AOE

The workshop uses OpenReview as the review platform. The paper template follows the ICML template. The submitted papers can range from 2  to 8 pages with unlimited space for references and supplementary materials. 

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). 

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

• Best Paper Award for 1 paper with oral presentation. The authors will be awarded an official certificate, a travel fund ($1,000), and one complimentary full conference registration for ICML 2024.

• Honorable Mention Award for 1 paper with oral presentation. The authors will be awarded an official certificate and a travel fund ($1,000).