Featured in
Singapour
AI for Mathematics and Theorem Proving Social @ ICLR 2025
Hosted by Alex G & Zhaoyu Li
About Event
Come hang out and chat about the recent advances in AI for mathematics and theorem proving, sposored by Kimina! We will have a talk by Haiming Wang from the Kimina-Prover team.
This is an official ICLR event, conference registration is required: https://iclr.cc/virtual/2025/social/37595.