KH

Kevin Hartnett

1팟캐스트 출연1프로그램2026기간
자주 함께 나온 사람
TSTim Scarfe×1LDLeonardo de Moura×1JAJeremy Avigad×1KBKevin Buzzard×1PLPaul Lessard×1

팟캐스트 출연

1회 · 최신순
제목 언어
한국어 제목이 아직 없어 영어 원제를 보여 줍니다.
20261회
Machine Learning Street Talk2026년 10월Kevin Hartnett on Lean, Mathematical Proof and the Limits of AI Verification진행: Tim Scarfe · 함께: Leonardo de Moura, Kevin Buzzard, Jeremy Avigad, Paul LessardMathematicsSoftware engineeringMachine Learning게스트EN