Featured in
สิงคโปร์
AI for Mathematics and Theorem Proving Social @ ICLR 2025
Hosted by Alex Gu & Zhaoyu Li
Registration
Past Event
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.