LD

Leonardo de Moura

2podcast episodes1shows2026years
OFTEN APPEARS WITH
TSTim Scarfe×2JAJeremy Avigad×1KBKevin Buzzard×1KHKevin Hartnett×1PLPaul Lessard×1

Podcast appearances

2 episodes · newest first
Show titles in
20262 episodes
Machine Learning Street TalkOct 2026Kevin Hartnett on Lean, Mathematical Proof and the Limits of AI VerificationHost: Tim Scarfe · With: Kevin Hartnett, Kevin Buzzard, Jeremy Avigad, Paul LessardMathematicsSoftware engineeringMachine LearningGuestENMachine Learning Street TalkSep 2026Lean, AI and the Limits of a Checked ProofHost: Tim ScarfeMathematicsAI researchGuestEN