AI for Math Workshop @ ICML 2025
@ai4mathworkshop
2nd AI for Math Workshop @ ICML 2025 West Ballroom C, Vancouver Convention Center July 18th, 2025 @ Vancouver, Canada (Hybrid)
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
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’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. 🧵👇
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!
Goedel Prover V2 (blog.goedel-prover.com) will be featured at @ai4mathworkshop today. Come and discuss with us!
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!
🪂Understanding R1-Zero-Like Training: A Critical Perspective * DeepSeek-V3-Base already exhibits "Aha moment" before RL-tuning?? * The ever-increasing output length in RL-tuning might be due to a BIAS in GRPO?? * Getting GRPO Done Right, we achieve a 7B AIME sota! 🧵 📜Full…
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):…
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…
📢 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
📣🔊 Excited to announce the 2nd AI for Math Workshop at #ICML2025 @icmlconf! 🔍 Workshop details: sites.google.com/view/ai4mathwo… 📜 Submit your pioneering work: sites.google.com/view/ai4mathwo…… 🙋 Reviewer nomination: goo.su/UlL3GJ
🚀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.
📣🔊 Excited to announce the 2nd AI for Math Workshop at #ICML2025 @icmlconf! 🔍 Workshop details: sites.google.com/view/ai4mathwo… 📜 Submit your pioneering work: sites.google.com/view/ai4mathwo…… 🙋 Reviewer nomination: goo.su/UlL3GJ
United States Trends
- 1. phil 106K posts
- 2. Falcons 19.3K posts
- 3. Falcons 19.3K posts
- 4. Drake London 2,415 posts
- 5. phan 86.8K posts
- 6. Josh Allen 7,806 posts
- 7. Columbus 244K posts
- 8. Jorge Polanco 7,314 posts
- 9. Bijan 4,649 posts
- 10. Tyler Allgeier 1,165 posts
- 11. Mitch Garver N/A
- 12. #DirtyBirds 1,563 posts
- 13. Penix 2,235 posts
- 14. #BUFvsATL 1,788 posts
- 15. #RiseUp N/A
- 16. Dawson Knox N/A
- 17. Mike Hughes N/A
- 18. Starship 58.4K posts
- 19. Kincaid 1,952 posts
- 20. Josh Naylor 2,384 posts
Something went wrong.
Something went wrong.