AI for Math Workshop @ ICML 2026

3rd AI for Math Workshop @ ICML 2026

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

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: https://t.co/TSLVSDSzy0
📌 Call for Papers: https://t.co/GU88RkTzai
🙋 Challenge Submission: https://t.co/4t9LqFOIiY
👉 Become a Reviewer: https://t.co/qGBfdo9zwK
🎯 Contact: [email protected]

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

[Zhizhen Qin @uniq_zz]

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

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

🚀 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

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

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

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

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: https://t.co/TSLVSDSzy0
📌 Call for Papers: https://t.co/GU88RkTzai
🙋 Challenge Submission: https://t.co/4t9LqFOIiY
👉 Become a Reviewer: https://t.co/qGBfdo9zwK
🎯 Contact: [email protected]

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

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

♾️ The 3rd AI4Math Workshop @ ICML 2026 is now accepting submissions!

📅 Deadline: May 25 (AOE)
📝 OpenReview: https://t.co/6kx2ylW81h

💡 We are also recruiting reviewers!
https://t.co/cKdXnTKbcV

For more → https://t.co/f84GgtBLYb

#AI4Math #ICML2026

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

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 https://t.co/Cg9Z74sFP7

#ICML2026 #AI4Math

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

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: https://t.co/Cy7y52ih5P

[Taishi Nakamura @taishinakamura_]

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!

[Kaiwen Wang @kaiwenw_ai]

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!

https://t.co/cSZVjYpVJs

[Chi Jin @chijinML]

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!

[Kaiwen Wang @kaiwenw_ai]

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.
🧵👇

[Changyu Chen @Cameron_Chann]

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!

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

It's happening today!
📍Location: West Ballroom C, Vancouver Convention Center
⌚️Time: 8:30 am - 6:00 pm
🎥 Livestream: https://t.co/2mnCD7hOrD

#ICML2025 #icml25 #icml #aiformath #ai4math #workshop

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

We are looking for more reviewers. If you are interested, please fill out this form: https://t.co/iu0iRIz5Qa

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

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: https://t.co/Wa6LyZSSVI

🎯Challenge 1, File-level Automated Proof Engineering (APE) of Formal Math Libraries (APE-Bench I): https://t.co/eyTTMGj1Gy

🎯Challenge 2, Physics Reasoning with Diagrams and Expressions (SeePhys): https://t.co/N0CHvSg3XU

#icml2025 #aiformath #ai4math #mathai #theoremproving #lean #aiforphysics #ai4physics #llm #codabench #icml #iclr #neurips

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

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: https://t.co/eyTTMGj1Gy
Track 2: Physics Reasoning with Diagrams and Expressions (SeePhys). Participation: https://t.co/N0CHvSg3XU

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: https://t.co/UYVPDIhxhv

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 (https://t.co/ZVjLwXS2VQ).

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

📢 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

[AI for Math Workshop @ ICML 2026 @ai4mathworkshop]

📣🔊 Excited to announce the 2nd AI for Math Workshop at #ICML2025 @icmlconf!

🔍 Workshop details: https://t.co/OGjZzEpQ8y
📜 Submit your pioneering work: https://t.co/lAaxO4U6jQ…
🙋 Reviewer nomination: https://t.co/n4vuZWn0dH