Algorithms & Theory

Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.

13 courses · 77 standalone talks · 370 lectures

All Theory & Algos Algorithms & Data Structures (203)Computational Complexity (88)Cryptography (41)Probability & Information Theory (28)Neuroscience & Cognition (26)Calculus & Analysis (24)Complex Systems & Scaling (16)Computer Architecture (14)Signal Processing & Robotics (13)Dynamic Programming (13)

Showing 7 of 7 lectures

Lecturej/k navigate · c chapters · s save · x watched

Scholar · University

Chapters · Duration

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

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

Theory & Algos·Research Seminar · Shafi Goldwasser · Simons Institute (UC Berkeley)

Shafi Goldwasser Simons Institute (UC Berkeley)

1:02:15

Enhanced and Efficient Reasoning in Large Language Models (SIMONS-TCS-ML)

Enhanced and Efficient Reasoning in Large Language Models (SIMONS-TCS-ML)

SIMONS-TCS-ML · Lec 19 · Les Valiant · Simons Institute (UC Berkeley)

Les Valiant Simons Institute (UC Berkeley)

36:16

An Occam's Razor Principle for Transformers? (SIMONS-TCS-ML)

An Occam's Razor Principle for Transformers? (SIMONS-TCS-ML)

SIMONS-TCS-ML · Lec 16 · John Langford · Simons Institute (UC Berkeley)

John Langford Simons Institute (UC Berkeley)

39:55

POPRi: Private Federated Learning using Preference-Optimized Synthetic Data

POPRi: Private Federated Learning using Preference-Optimized Synthetic Data

Theory & Algos·Conference Talk · Charlie Hou · Google Research & TechTalks

Charlie Hou Google Research & TechTalks

33:40

Artificial Intelligence (CS50)

Artificial Intelligence (CS50)

CS50 · Lec 8 · David J. Malan · Harvard University

David J. Malan Harvard University

55:57

When Prediction Becomes Policy: What Do Risk Models Actually Learn? (SIMONS-ECON)

When Prediction Becomes Policy: What Do Risk Models Actually Learn? (SIMONS-ECON)

SIMONS-ECON · Lec 6 · Shion Guha · Simons Institute (UC Berkeley)

Shion Guha Simons Institute (UC Berkeley)

33:31

Human Values in Clinical Algorithms, Old and New (SIMONS-ECON)

Human Values in Clinical Algorithms, Old and New (SIMONS-ECON)

SIMONS-ECON · Lec 5 · Arjun Kumar Manrai · Simons Institute (UC Berkeley)

Arjun Kumar Manrai Simons Institute (UC Berkeley)

38:46

More categories

Systems & CS (504)Mathematics (518)Physics & Cosmology (366)AI & Machine Learning (283)History & Humanities (371)Philosophy & Ethics (286)Biology & Neuroscience (332)Economics & Finance (323)Engineering & Robotics (333)