KH

Kevin Hartnett

1épisodes de podcast1émissions2026années
APPARAÎT SOUVENT AVEC
TSTim Scarfe×1LDLeonardo de Moura×1JAJeremy Avigad×1KBKevin Buzzard×1PLPaul Lessard×1

Passages en podcast

1 épisodes · plus récents d’abord
Titres en
Pas encore de titres en français : les titres anglais d’origine sont affichés.
20261 épisodes
Machine Learning Street Talkoct. 2026Kevin Hartnett on Lean, Mathematical Proof and the Limits of AI VerificationAnimé par Tim Scarfe · Avec : Leonardo de Moura, Kevin Buzzard, Jeremy Avigad, Paul LessardMathematicsSoftware engineeringMachine LearningInvitéEN