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
Ewin Tang
Ewin Tang Awarded 2025 Maryam Mirzakhani New Frontiers Prize
Simons Institute and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science
Venkat Guruswami
Letter from the Director, April 2025