Explore a series of insightful computer science lectures from the University of Oxford, showcasing prominent speakers since 1995, supported by OxFORD Asset Management.
Will Computers prove theorems?
46 mins • May 15, 2025
Charts
This show is not currently ranked in any charts.
Recent Episodes
May 15, 2025
Will Computers prove theorems?
46 mins
May 15, 2025
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
47 mins
Mar 11, 2025
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
64 mins
Dec 2, 2024
From probabilistic bisimulation to representation learning via metrics
55 mins
May 16, 2024
Strachey Lecture: The Computer in the Sky
62 mins
Language
English
Country
United States
Categories
Website
Feed
Request an Update
Updates may take a few minutes.