Vasily Ilin
-
PDL-C38, Zoom: https://washington.zoom.us/j/93878164589?pwd=JMgKEqmkweRU91rO7COjG8rknhjsuE.1
Seed-Prover is the current best Lean model, achieving 100% on minif2f, 50% on PutnamBench and gold-level performance on the 2025 IMO. I will briefly survey the history of formal theorem proving and talk about the Seed-Prover paper. You do not need to know Lean to understand the talk.
Zoom: https://washington.zoom.us/j/93878164589?pwd=JMgKEqmkweRU91rO7COjG8rknh…