PL

Paul Lessard

Mathematician
1Podcast-Folgen1Sendungen2026Zeitraum
OFT ZUSAMMEN MIT
TSTim Scarfe×1LDLeonardo de Moura×1JAJeremy Avigad×1KBKevin Buzzard×1KHKevin Hartnett×1

Podcast-Auftritte

1 Folgen · neueste zuerst
Titel auf
Titel auf Deutsch gibt es noch nicht – angezeigt wird das englische Original.
20261 Folgen
Machine Learning Street TalkOkt. 2026Kevin Hartnett on Lean, Mathematical Proof and the Limits of AI VerificationModeration: Tim Scarfe · Mit: Kevin Hartnett, Leonardo de Moura, Kevin Buzzard, Jeremy AvigadMathematicsSoftware engineeringMachine LearningGastEN