AI for Math Workshop @ ICML 2025 (@ai4mathworkshop) 's Twitter Profile
AI for Math Workshop @ ICML 2025

@ai4mathworkshop

2nd AI for Math Workshop @ ICML

ID: 1902702455428898816

linkhttps://sites.google.com/view/ai4mathworkshopicml2025 calendar_today20-03-2025 12:43:27

4 Tweet

29 Followers

17 Following

Zhijiang Guo (@zhijiangg) 's Twitter Profile Photo

🚀Excited to announce the AI for Math Workshop at ICML 2025 with amazing co-organizers! 🌐This event is a fantastic opportunity to explore the intersection of AI and Math. 🔍Join us to learn from leading experts, share your research, and connect with like-minded researchers.

AI for Math Workshop @ ICML 2025 (@ai4mathworkshop) 's Twitter Profile Photo

📢 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 2025 (@ai4mathworkshop) 's Twitter Profile Photo

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

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
AI for Math Workshop @ ICML 2025 (@ai4mathworkshop) 's Twitter Profile Photo

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

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):
Changyu Chen (@cameron_chann) 's Twitter Profile Photo

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

Kaiwen Wang (@kaiwenw_ai) 's Twitter Profile Photo

I’m presenting two papers on value-based RL for post-training & reasoning on Friday at AI for Math Workshop @ ICML 2025 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. 🧵👇

Kaiwen Wang (@kaiwenw_ai) 's Twitter Profile Photo

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

Taishi Nakamura@ICLR2025🇸🇬 (@setuna7777_2) 's Twitter Profile Photo

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

I won’t make it to ICML this year, but our work will be presented at the 2nd AI for Math Workshop @ ICML 2025 (<a href="/ai4mathworkshop/">AI for Math Workshop @ ICML 2025</a>).
Huge thanks to my co‑author <a href="/SisForCollege/">Satoki Ishikawa</a> for presenting on my behalf. please drop by if you’re around!
AI for Math Workshop @ ICML 2025 (@ai4mathworkshop) 's Twitter Profile Photo

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…