AI for Math Workshop @ ICML 2026

@ai4mathworkshop

3rd AI for Math Workshop @ ICML 2026

ai4math2026.github.io

Joined March 2025

Following

140

Followers

Replies Reposts Media

Pinned
AI for Math Workshop @ ICML 2026
@ai4mathworkshop
May 14
AI4Math @ ICML 2026 Challenge is now LIVE! We’re excited to announce that the AI for Math Workshop (ICML 2026) has officially launched its challenge track! Key Dates - Challenge Open: May 1, 2026 - Paper Submission Deadline: May 25, 2026 - Challenge Deadline: June 15, 2026
1
AI for Math Workshop @ ICML 2026
@ai4mathworkshop
Jul 8
🚀 4-day countdown‼️ To share some statistics for this year: 📄 The paper track drew 346 submissions, more than double last year. We accepted 210 at a 66.7% rate, with 🏆2 oral (Best Paper Award) 🏅8 spotlight, and 📰200 poster ⚔️ Our 4 challenge tracks, FormalRx, TCS
2
AI for Math Workshop @ ICML 2026
@ai4mathworkshop
Apr 14
♾️ The 3rd AI4Math Workshop @ ICML 2026 is now accepting submissions! 📅 Deadline: May 25 (AOE) 📝 OpenReview: openreview.net/group?id=ICML.… 💡 We are also recruiting reviewers! forms.gle/Cgf3tzyFKRj9hz… For more → ai4math2026.github.io/#cfp #AI4Math #ICML2026
AI for Math Workshop @ ICML 2026
@ai4mathworkshop
Apr 9
Long time no post! 👋 Excited to share that our 3rd AI for Math Workshop has been officially accepted at ICML 2026! 🎉 📍July 10, Seoul 🧠 Toward Self-Evolving Scientific Agents 📝 Paper submission open now! 🌐 Check out ai4math2026.github.io #ICML2026 #AI4Math
Leonardo de Moura and 3 others
AI for Math Workshop @ ICML 2026
@ai4mathworkshop
Jul 18, 2025
If you win an award and you are onsite, you can come to our organizers to pick up your certificates. If you are participating remotely, find your digital certificates here:
sites.google.com
Awards
🏆 Best Paper Awards