# strachey (audio feeds) — RSS Amplifier Recent posts from the 1 feeds in the RSS Amplifier directory that cover strachey. Page: Feed: --- ## [Advances in Garbled Circuits](https://podcasts.ox.ac.uk/advances-garbled-circuits) _2025-10-27 · Strachey Lectures_ 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, two parties agree on a Boolean circuit that they want to evaluate, where both parties have partial, disjoint inputs to… [Listen](https://media.podcasts.ox.ac.uk/comlab/comsci/strachey/2025-10-21-strachey.mp3) ## [Will Computers prove theorems?](https://podcasts.ox.ac.uk/will-computers-prove-theorems) _2025-05-15 · Strachey Lectures_ Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is this just around the corner, or decades away? Can neural networks spot patterns which humans have missed? Currently language models are great for brainstorming big ideas but are very poor when it comes to details. Can integrating a language model with a theorem prover like Lean solve these… [Listen](https://media.podcasts.ox.ac.uk/comlab/comsci/strachey/2025-05-06-consci-strachey-buzzard.mp3) ## [Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI](https://podcasts.ox.ac.uk/formalizing-future-leans-impact-mathematics-programming-and-ai) _2025-05-15 · Strachey Lectures_ 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 provides an answer, offering a rigorous framework where proofs and programs are machine-checkable, shared, and extended… [Listen](https://media.podcasts.ox.ac.uk/comlab/comsci/strachey/2025-05-06-consci-strachey-moura.mp3) ## [Privacy, Verification, Robustness: A Cryptographer's perspective on ML](https://podcasts.ox.ac.uk/privacy-verification-robustness-cryptographers-perspective-ml) _2025-03-11 · Strachey Lectures_ Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML Cryptographic tools enable the safe use of technology platforms controlled by worst case computationally bounded adversaries.In this talk I will show how cryptographic paradigms and tools can be used to address trust issues in various phases of the machine learning pipeline. We will touch on approaches for… [Listen](https://media.podcasts.ox.ac.uk/comlab/comsci/strachey/2025-03-04-consci-strachey.mp3) ## [From probabilistic bisimulation to representation learning via metrics](https://podcasts.ox.ac.uk/probabilistic-bisimulation-representation-learning-metrics) _2024-12-02 · Strachey Lectures_ 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 probabilistic analogue. This was extended to… [Listen](https://media.podcasts.ox.ac.uk/comlab/comsci/strachey/2024-11-19-strachey.mp3)