What Can the Theory of Cryptography Tell Us About AI Verification?
Applies interactive proof systems, cryptographic watermarking, and worst-case adversarial guarantees to verifiable machine learning.
Shafi Goldwasser
Turing Award Laureate & Director of the Simons Institute
Standalone talks by Shafi Goldwasser
1Self-contained public lectures, keynote addresses, and research seminars.
Study paths featuring Shafi Goldwasser
1
6 steps · 5h5 universities
Probability, Primes & Computational Hardness
Discrete proof invariants, stochastic conditioning, pseudorandomness, and P vs. NP
MIT · Harvard University · UCLA +2
6 curated lecturesOpen path →