KH

Kevin Hartnett

1podcast episodes1shows2026years
OFTEN APPEARS WITH
TSTim Scarfe×1LDLeonardo de Moura×1JAJeremy Avigad×1KBKevin Buzzard×1PLPaul Lessard×1

Podcast appearances

1 episodes · newest first
Show titles in
20261 episodes
Machine Learning Street TalkOct 2026Kevin Hartnett on Lean, Mathematical Proof and the Limits of AI VerificationHost: Tim Scarfe · With: Leonardo de Moura, Kevin Buzzard, Jeremy Avigad, Paul LessardMathematicsSoftware engineeringMachine LearningGuestEN