AI for Math Workshop @ ICML 2026

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 Prizes 🥇$1,000 🥈 $600 🥉 $400 Challenge Topics - Semantic Alignment in Autoformalization - Formal Theorem Proving - Visual Physics Reasoning - Autoformalization in Lean 4 🔗 Website: ai4math2026.github.io 📌 Call for Papers: openreview.net/group?id=ICML.… 🙋 Challenge Submission: #challenge" target="_blank" rel="nofollow noopener">ai4math2026.github.io/#challenge 👉 Become a Reviewer: forms.gle/8hfysRAKcSBmSa… 🎯 Contact: ai4mathicml@gmail.com If you find this initiative interesting, we would greatly appreciate it if you could share this post or forward it to relevant colleagues and communities. #ICML2026 #AI4Math #workshop #mathai #ai4math #theoremproving #lean #aiforphysics #ai4physics #llm #codabench #icml #iclr #neurips

Our AI for Math workshop is happening at ICML. Come join us in Hall D (upstairs, 3rd floor above Hall B) at Coex today! #icml #icml2026 #MathAI #AI4Math #AI

🚀 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 Proving, SeePhys Pro, and ShadowBench, drew 567 participants and 2,352 submissions, our largest challenge program yet. 🙏 Thank you to our 6 program chairs, 42 area chairs, and 355 reviewers, and to everyone who submitted and competed. 📍 See you in Hall D1, COEX on July 11. #ICML2026 #AI4Math #MachineLearning #TheoremProving #LLM

Looking forward to the insights from our amazing speakers: @JiaLi52524397 @dawnsongtweets EmilyFirst @YinyaHuang @Leonard41111588 @sorrachai @syguoML

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 Prizes 🥇$1,000 🥈 $600 🥉 $400 Challenge Topics - Semantic Alignment in Autoformalization - Formal Theorem Proving - Visual Physics Reasoning - Autoformalization in Lean 4 🔗 Website: ai4math2026.github.io 📌 Call for Papers: openreview.net/group?id=ICML.… 🙋 Challenge Submission: #challenge" target="_blank" rel="nofollow noopener">ai4math2026.github.io/#challenge 👉 Become a Reviewer: forms.gle/8hfysRAKcSBmSa… 🎯 Contact: ai4mathicml@gmail.com If you find this initiative interesting, we would greatly appreciate it if you could share this post or forward it to relevant colleagues and communities. #ICML2026 #AI4Math #workshop #mathai #ai4math #theoremproving #lean #aiforphysics #ai4physics #llm #codabench #icml #iclr #neurips

♾️ 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 → #cfp" target="_blank" rel="nofollow noopener">ai4math2026.github.io/#cfp #AI4Math #ICML2026

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

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/view/ai4mathwo…

I won’t make it to ICML this year, but our work will be presented at the 2nd AI for Math Workshop @ ICML 2025 (@ai4mathworkshop). Huge thanks to my co‑author @SisForCollege for presenting on my behalf. please drop by if you’re around!

Correction re the time: my posters on Q# and VGS at @ai4mathworkshop is happening today from 10:50 am to 12:20 pm. Hope to see you there! x.com/kaiwenw_ai/sta…

I will also give a talk about theorem proving and Goedel-prover V2 at 12:45 today at @ai4mathworkshop . Drop by our talk and poster if you are at ICML!

I’m presenting two papers on value-based RL for post-training & reasoning on Friday at @ai4mathworkshop at #ICML2025! 1️⃣ Q#: lays theoretical foundations for value-based RL for post-training LMs; 2️⃣ VGS: practical value-guided search scaled up for long CoT reasoning. 🧵👇

Honored our paper was selected as Best Paper Runner-Up at #ICML @ai4mathworkshop! Grateful to my incredible collaborators who will be presenting - wish I could join in person. Big thanks to the committee!

It's happening today! 📍Location: West Ballroom C, Vancouver Convention Center ⌚️Time: 8:30 am - 6:00 pm 🎥 Livestream: icml.cc/virtual/2025/w… #ICML2025 #icml25 #icml #aiformath #ai4math #workshop

We are looking for more reviewers. If you are interested, please fill out this form: docs.google.com/forms/d/e/1FAI…

The paper submission deadline is within 1 week: June 21st, 2025, AoE The challenge deadline is in 2 weeks: July 1st, 2025, AoE 📢Call for Papers: sites.google.com/view/ai4mathwo… 🎯Challenge 1, File-level Automated Proof Engineering (APE) of Formal Math Libraries (APE-Bench I): codabench.org/competitions/8… 🎯Challenge 2, Physics Reasoning with Diagrams and Expressions (SeePhys): codabench.org/competitions/7… #icml2025 #aiformath #ai4math #mathai #theoremproving #lean #aiforphysics #ai4physics #llm #codabench #icml #iclr #neurips

Glad to announce the ICML 2025 Challenge on Automated Math Reasoning and Extensions! 🌟🧮⚛️ Track 1: File-level Automated Proof Engineering (APE) of Formal Math Libraries (APE-Bench I). Participation: codabench.org/competitions/8… Track 2: Physics Reasoning with Diagrams and Expressions (SeePhys). Participation: codabench.org/competitions/7… Timeline (Tracks 1 & 2): - Submission Open: May 21st, 2025 - Submission Deadline: July 1st, 2025, AoE - Challenge Result Announcement: July 7th, 2025, AoE 🪑Stellar competition chairs: @huajian_xin, Kun Xiang, Heng Li, Xiaohan Lin, @YinyaHuang 💼 Workshop organizers: @YinyaHuang, @yangzhch6, Xiaodan, Zhengying, @ZhijiangG, @Swarooprm7, @Mateja_Jamnik, @kunkzhang, Isabelle Guyon, @YilunZhou, @marina_vinyes , Mert Ünsal, Jing Tang, Bin Dong, @WendaLi8, Haiming Wang, @minimario1729, @Rythian47, @uniq_zz, Soonho Kong, and Leni Aniva More details: sites.google.com/view/ai4mathwo… Participants are encouraged to submit their papers or technical reports on their solutions for more opportunities for in-person communications at the 2nd AI for Math Workshop at ICML 2025 (icml.cc/virtual/2025/w…).

📢 Paper submission dates are updated: - Paper Submission Open: March 18th, 2025 - Full Paper Submission Deadline: June 21st, 2025, AoE  - Paper Decision Notification: July 7th, 2025 - Camera-ready Version Deadline: July 18th, 2025