Events

Neural language models have opened a fascinating, flexible platform for reasoning in mathematics, programming, and beyond. This talk will explore the intersection of these models and the rigor of formal […]

The PCP theorem, proved in the 90’s, shows how to encode a proof for any theorem into a format where the theorem's correctness can be verified by making only a […]

In this talk, I will explain how fundamental problems in computational learning theory are at the heart of modern problems in machine learning and scientific applications and how algorithmic insights […]