6.S976 lecture notes: self-proving LLM
Lecture scribe for MIT 6.S976 (Cryptography and Machine Learning) on self-proving language models.
Lecture notes (scribe) for 6.S976 Cryptography and Machine Learning: Foundations and Frontiers (MIT), Lecture 13, on self-proving LLMs — models and protocols that tie language-model outputs to verifiable or cryptographic claims.
If the preview does not load in your browser, use the download button above.