Skip to content
lectern.tv
Study notebook

Press N to jot a timestamped note or B to pin a moment while watching.

What Can the Theory of Cryptography Tell Us About AI Verification?

Shafi GoldwasserTuring LaureateSimons Institute (UC Berkeley)

Turing Award Laureate & Director of the Simons Institute

1:02:15·2025·graduate level·Research Seminar

Applies interactive proof systems, cryptographic watermarking, and worst-case adversarial guarantees to verifiable machine learning.

Theory & AlgosAI & MLCryptographyLanguage Models & NLPSimons Institutetheoretical computer science

Shafi Goldwasser (Simons Institute) Safety-Guaranteed LLMs

Source: Simons Institute for the Theory of Computing via YouTubeWatch on YouTube
LecturerAll lecturers →
Shafi GoldwasserTuring Laureate

ACM A.M. Turing Award (2012), MIT & UC Berkeley

Director of the Simons Institute at UC Berkeley, RSA Professor at MIT, and 2012 Turing Laureate for probabilistic encryption and zero-knowledge proofs.

1 lectureCanon

Comments

Add a comment...Sign in