25 May 2025
38m
#147 - Aryeh Kontorovich: Rigorous Probability And Statistics, Game Theory, Lean Prover
Scraping Bits
Open in Podwise to generate AI notes
Sign in to process this episode and unlock summaries, transcripts, highlights and translations.
Shownotes are not generated by Podwise.