Though not attending #ICML2025 in person, I'm super excited to share 3 accepted papers:. 1.🎊Best Paper Honorable Mention @ AI4MATH workshop: Understanding R1-Zero-Like Training: A Critical Perspective (a.k.a Dr. GRPO but I think the paper is more than this loss fix). 2. Main

OMW to #ICML2025, reach out (on X or Whova) if you’re interested in talking about RL, reasoning/safety of LLMs, agents. I will also be presenting our AI4MATH workshop paper: limits-of-RLVR, 13:45-14:00 pm, July 18, 2025. Location: Ballroom C, feel free to drop by

Lean State Search ( won the Honorable Mention Award at the ICML AI4Math Workshop. Congratulations to Yicheng and Haotian, and thanks to Professor Shanwen Wang for his joint guidance.

Hello World! 👋 We're thrilled to officially launch the X account for Numina, dedicated to advancing frontier AI in mathematics. Stay tuned for updates on our research, achievements, and the future of mathematical AI!.#AI4Math #FormalMath #LeanProver #AutomatedReasoning

The AI for Math workshop papers are out, the studies were of really high quality 🦾.Come to our #AI4Math workshop tomorrow. It is gonna be epic:.

🚀 Excited to share our position paper: "Formal Mathematical Reasoning: A New Frontier in AI"!.🔗 LLMs like o1 & o3 have tackled hard math problems by scaling test-time compute. What's next for AI4Math?. We advocate for formal mathematical reasoning,.

It's happening today!.📍Location: West Ballroom C, Vancouver Convention Center.⌚️Time: 8:30 am - 6:00 pm.🎥 Livestream: #ICML2025 #icml25 #icml #aiformath #ai4math #workshop

AI4Math has published a fascinating study on Hugging Face showing LLMs often "find" answers to inequality proofs but fail to construct rigorous, step-by-step reasoning.

#IMO2025 has begun a few hours ago, wishing a great Olympiad to all the students! We're eager to see how the different AIs perform, including ours 💪🔥.#AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience

Won the Track 1 Challenge for Automated Proof Engineering with Lean4 at AI4MATH@ICML2025 . Used Gemini 2.5 pro , this was the best model.The challenge was so hard that only 2 valid submissions were finally selected. Still a long way to go for full formal math automation with LLMs.

Thrilled that our paper was selected for the #ICML2025 AI4Math Best Paper Award! 🎉 Sadly, I can’t attend in person due to visa issues, but Andrew will present on behalf of our team. 🎤 Don’t miss his talk—check it out! 13:45-14:00 pm, July 18. Ballroom C, West Building.

Position: Formal mathematical reasoning (a new frontier in AI). ~ Kaiyu Yang et als. #AI #LLMs #Math #AI4Math #ITP.

I appreciate this great workshop, but receiving notifications just a few days before the conference starts is a bit rough. The flight and registration cost a lot (for two students!). As for hotel, we booked the cancelation-free ones beforehand though. #ai4math.

Two of our recent preprints got accepted to ICML AI4MATH Workshop as a full-length paper (8 pages)! . #ai4math #icml.

Will present two papers at #icml25! Happy to chat!. Main (7/16): Regularized Langevin Dynamics for Combinatorial Optimization. (. AI4MATH Workshop (7/18): A Comprehensive Evaluation of Contemporary ML-based Solvers for Combinatorial Optimization.

DeepSeek-Prover-V2 ，AI4Math 😄

🌟 Accepted to the AI for Math Workshop @ICML2025 !! 🧮✨.We introduce a new task that optimizes target sequence order in Chain-of-Thought reasoning. Honored to attend my first top ML conference—see you there! 🚀.#ai4math .#icml2025.

Presenting our work Lean Copilot ( at @NeuS2025 this week from Tuesday 5/27 to Friday 5/30 in Philadelphia, PA. Welcome to chat about LLM Reasoning, #AI4MATH, Neuro-Symbolic AI or anything related!.

This April, we released Kimina-Prover Preview. Stay tuned! Full release is coming soon 🚀.#AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience.