Letter from the Director, November 2023
Machine-Checked Proofs and the Rise of Formal Methods in Mathematics
Algorithmic Mechanism Design with Investment
Dynamic Graph Algorithms: What We Know and What We Don’t
Simons Institute Receives $1.5 Million in Grants for Research in Cryptography and Quantum Computing
David Blackwell’s Enduring Legacy
Letter from the Director, October 2023
Large Language Models Meet Copyright Law
First LLM talk_News
Panel Discussion on Large Language Models
An observation on Generalization_News
An Observation on Generalization