Strachey Lecture: From probabilistic bisimulation to representation learning via metrics - Professor Prakash Panangaden Bisimulation is a fundamental equivalence relation in process theory invented by Robin Milner and with an elegant fixed-point definition due to David Park. In this talk I will review the concept of bisimulation and then discuss its probabi ... Show More
Oct 27
Advances in Garbled Circuits
MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, Andy Yao proposed the construction of “Garbled Circuits,” which had an enormous impact on the field of secure computation -- both in theory and in practice. In Garbled Circuits, ... Show More
48m 12s
May 2025
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathematicians, software developers, and AI systems work together with complete confidence in each other’s contributions? The open-source Lean proof assistant and programming language ... Show More
47m 14s
Oct 2024
E116 - Nassim Haramein: Exploring Our Holographic Universe, Unified Field Theory & The Illusion of Time
<p>Nassim Haramein, a veteran physicist working on one of the most complex and difficult problems in physics, describes his insights into our holographic universe, consciousness, and zero-point energy.</p><p>He discusses fundamental principles of spacetime and the groundbreaking ... Show More
2h 59m
Jun 2025
On the philosophy of simplification in computational neuroscience - with Mazviita Chirimuuta and Terrence Sejnowski - #29
Computational neuroscientists rely on simplification when they make their models. But what is the right level of simplification? When should we, for example, use a biophysically detailed model and when a simplified abstract model when modelling neural dynamics? What are the probl ... Show More
1h 24m
Jan 2025
Fraud Detection with Graphs
In this episode, Šimon Mandlík, a PhD candidate at the Czech Technical University will talk with us about leveraging machine learning and graph-based techniques for cybersecurity applications. We'll learn how graphs are used to detect malicious activity in networks, such as ident ... Show More
37m 23s
Nov 2024
AI and the Future of Math, with DeepMind’s AlphaProof Team
In this week’s episode of No Priors, Sarah and Elad sit down with the Google DeepMind team behind AlphaProof, Laurent Sartran, Rishi Mehta, and Thomas Hubert. AlphaProof is a new reinforcement learning-based system for formal math reasoning that recently reached a silver-medal st ... Show More
39m 21s