LD

Leonardo de Moura

2Podcast-Folgen1Sendungen2026Zeitraum
OFT ZUSAMMEN MIT
TSTim Scarfe×2JAJeremy Avigad×1KBKevin Buzzard×1KHKevin Hartnett×1PLPaul Lessard×1

Podcast-Auftritte

2 Folgen · neueste zuerst
Titel auf
Titel auf Deutsch gibt es noch nicht – angezeigt wird das englische Original.
20262 Folgen
Machine Learning Street TalkOkt. 2026Kevin Hartnett on Lean, Mathematical Proof and the Limits of AI VerificationModeration: Tim Scarfe · Mit: Kevin Hartnett, Kevin Buzzard, Jeremy Avigad, Paul LessardMathematicsSoftware engineeringMachine LearningGastENMachine Learning Street TalkSept. 2026Lean, AI and the Limits of a Checked ProofModeration: Tim ScarfeMathematicsAI researchGastEN