Formal Methods and Proofs of Privacy Properties, Part III

Formal Methods and Proofs of Privacy Properties, Part I

AI’s Models of the World, and Ours | Theoretically Speaking

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

Designing Parallel Data structures

Trust and Distrust in ML: Privacy, Verification and Robustness - Shafi Goldwasser

What Can Theory Of Cryptography Tell Us About AI Safety

Venkatesan Guruswami | Polylogues

Strong Generalization from Small Brains and No Training Data

Crypto + ML 1

10 years of progress in quantum surface codes

A Neanderthal Perspective on Human Origins - 2014

Conversation with Elon Musk | World Economic Forum Annual Meeting 2026

Wealth & Poverty

Lecture 15: Brain-Computer Interfaces | COGSCI 1 | UC Berkeley

The Data Addition Dilemma

Laude × CSGE: Bill Joy - 50 Years of Advancements: Computing and Technology 1975-2025 (and beyond)

Dr. Yotam Dikstein - High Dimensional Expanders: Structure and Applications

Lightning Talks by Simons Institute Fellows

Invariance and equivariance in brains and machines

Private Retrieval-Augmented Generation