Lean, every mention
1 scene (2024) · ← back to Lean
tap a year for its mentions
every year 2024 anyone Carina Hong 32RJ Haneke 27Dr. Jasper Zhang 4Guillaume Lample 3Yi Tay 1Shawn Wang 1Jeff Dean 1Anima Anandkumar 1Alex Lupsasca 1
Verbatim, from the transcripts: the passages where Lean comes up
Agents @ Work: Dust.tt — with Stanislas Polu
- ▶ 8:21 Shawn Wang There's a bit of work with, like, Lean, and then with, uh, you know, more recently with, uh, with DeepMind doing, like, scoring, like, Silver on the IMO.