JA

Jeremy Avigad

Mathematician and philosopher
1podcast episodes1shows2026years
OFTEN APPEARS WITH
TSTim Scarfe×1LDLeonardo de Moura×1KBKevin Buzzard×1KHKevin Hartnett×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: Kevin Hartnett, Leonardo de Moura, Kevin Buzzard, Paul LessardMathematicsSoftware engineeringMachine LearningGuestEN