ICML 2024 AI for Math Workshop call for papers and challenge launched!

• ICML 2024, AI for Math Workshop
• A workshop for formal and natural language AI mathematical reasoning
• Time: July 26/27, 2024
• Location: Vienna, Austria. Held simultaneously on site and online.
• Workshop Home Page: https://sites.google.com/view/ai4mathworkshopicml2024/

Mathematical reasoning is the most challenging and deep part of human intelligence. In the development process of mathematical reasoning, humans have summarized various formal languages, which can strictly describe mathematical problems and proof processes. In recent years, machine learning algorithms and large-scale language models are gradually approaching or even surpassing human performance in some mathematical reasoning. So, how should we develop AI mathematical reasoning next and make it the strongest assistant for humans to break through unknown mathematical fields?

This seminar aims to bring together experts and scholars from different subject backgrounds, industry and academia to discuss the development and prospects of AI mathematical reasoning. We will develop a discussion of a series of key but underexplored research questions. Mathematics is the theoretical and practical cornerstone of many scientific disciplines, including computer science and artificial intelligence, and we look forward to discussing a wide range of related research issues with attendees at the symposium.

-------Seminar Call for Papers-------

Call for Papers Topic:

Automatic formalization and duality automatic informalization

• Automatic theorem proving
• Automatic theorem Generate
• Code enhancement and aided mathematical reasoning
• Formal verification and code generation
• Evaluation metrics
• Relevant reasoning areas
• Applications

Awards:

- All accepted submissions will be presented at ICML 2024 Poster presentation at the seminar

- One best paper award will be established. The author will give an oral report at the ICML 2024 seminar and receive an honorary certificate and a free registration for the entire ICML 2024 session

- One honorable mention award will be established Name, the author will give an oral report at the ICML 2024 symposium, and receive an honorary certificate and a travel fund of US$1,000

Submission time node:

-Open submission time: March 27, 2024

-Submit Deadline: May 31, 2024 (Anywhere on Earth)

-Review results announcement time: June 12, 2024 (Anywhere on Earth)

-Final version submission time: June 26, 2024 (Anywhere on Earth)

Submission rules:

This seminar uses the OpenReview platform to implement standard double-blind review. The length of the main text of the submission is 2-8 pages, and there is no limit on the length of references and supplementary materials. The submission format and template follow the ICML 2024 submission guidelines: https://www.php.cn/link/003a8eb4813be2f8c5ad692ff1866162.

Submission URL:

Submit through the OpenReview platform.

Submission entrance:

-------AI Mathematical Reasoning Challenge-------

This seminar encourages participants to submit papers or technical reports at the same time. The seminar will Create offline reporting and communication opportunities for everyone as much as possible. Please submit in accordance with the above submission rules and time points.

Three tracks (can compete at the same time):

-Track one: automatic formalization and automatic informalization

-Track two: automatic theorem generation and proof

-Track three: Code-assisted automatic optimization problem solving

Competition time node:

-Challenge start time:

nTrack one and two: April 3, 2024 (Anywhere on Earth)

nTrack three : April 8, 2024 (Anywhere on Earth)

-Submission deadline: May 27, 2024 (Anywhere on Earth)

-Competition results announcement time: June 12 (Anywhere on Earth)

Competition rules:

-Participants can participate in multiple tracks at the same time

-Participants need to submit model codes to complete answer predictions and indicator calculations in the background

-Each participating team must not exceed 6 people

-Each The top three in each track need to open source the model code

Award settings:

- The top three in each track will receive cash prizes: 1st place 500 US dollars, 2nd place 300 US dollars, 3rd place 200 US dollars

-The first place team in each track will give an oral presentation at the ICML 2024 seminar and receive a certificate of honor and a travel fund of US$1,000

Competition URL:

Contestants can submit model code and view test results through the CodaBench platform. -------The seminar will be held during ICML 2024-------

Format of the seminar:

-Specially invited lectures by top scholars from academia and industry

-AI Mathematical Reasoning Challenge

-Oral presentation (winning paper; winning team)

-Poster presentation (all accepted papers)

-Guest roundtable discussion

Special speaking guest: Organizer: Organizational unit: -------Contact information-------

For any related questions, please contact via email:

ai4mathicml2024@gmail.com

The above is the detailed content of ICML 2024 AI for Math Workshop call for papers and challenge launched!. For more information, please follow other related articles on the PHP Chinese website!