
AI for Math Workshop @ ICML 2025
@ai4mathworkshop
2nd AI for Math Workshop @ ICML
ID: 1902702455428898816
https://sites.google.com/view/ai4mathworkshopicml2025 20-03-2025 12:43:27
4 Tweet
29 Followers
17 Following






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!

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

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

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…

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!

