The logo for 2025's Summer Cluster on Quantum Computing. A play button is superimposed on the logo.
Sum-of-Squares Spectral Amplification (SOSSA)
The logo of the Cryptography progam. A magnifying glass enlarges the word "CRYPTO," which is mixed among a string of zeros and ones. A play button is superimposed on the logo.
SP1 Hypercube and the Jagged Polynomial Commitment Scheme
A screenshot of Steven Piantadosi during his Polylogues interview. A play button is superimposed on the image.
Steven Piantadosi | Polylogues
This logo shows a circle that's a brain on the left half and a circuit board on the right half.
Metacognition and Related Abilities of Large Language Models
So Random! How Coin Flips Conquered Noise
Venkat Guruswami
Letter from the Director, Summer 2025
Image of a person in the sky dangling from two large blue balloons in the shape of the letters A and I.
Safety of GenAI through the Lens of Security and Cryptography
On the right is Kaiyu Yang presenting at a lectern, and on the left is the blue brain logo for the workshop AI for Mathematics and Theoretical Computer Science.
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
On the right is Giles Gardam presenting, and on the left is the blue brain logo from the workshop AI for Mathematics and Theoretical Computer Science.
Solving Semidecidable Problems in Group Theory
Venkat Guruswami
Letter from the Director, May 2025