Radio and PodcastRadio and PodcastLive Radio & Podcasts
Who Checks a Proof No Human Can Read? — Leo de Moura artwork
Technology

Who Checks a Proof No Human Can Read? — Leo de Moura

Machine Learning Street Talk by Machine Learning Street Talk (MLST)

Sep 30, 202601:14:19Technology

Leonardo de Moura created Lean and co-created Z3. ---This episode is sponsored by Parallel.Parallel, where agents find answers: web search, extraction and deep research APIs built for AI agents.Start free with the Parall...

Related Episodes

Continue listening to more episodes from Machine Learning Street Talk.