3rd AI for Math Workshop @ ICML 2026
Joined March 2025
- Tweets26
- Following31
- Followers142
- Likes28
AI for Math Workshop @ ICML 2026 retweeted
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!
AI for Math Workshop @ ICML 2026 retweeted
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!
nitter.gq/kaiwenw_ai/status/1945…
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.
🧵👇
AI for Math Workshop @ ICML 2026 retweeted
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!
AI for Math Workshop @ ICML 2026 retweeted
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.
🧵👇
AI for Math Workshop @ ICML 2026 retweeted
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 details: github.com/sail-sg/understan…
🛠️Code: github.com/sail-sg/understan…
AI for Math Workshop @ ICML 2026 retweeted
🚀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/ai4mat…
📜 Submit your pioneering work: sites.google.com/view/ai4mat……
🙋 Reviewer nomination: goo.su/UlL3GJ
