Simons Institute Courses

Complementary Information and Learning Traps

Explore complementary information sets and their impact on learning efficiency, with insights into learning traps and efficient information aggregation in decision-making environments.

• YouTube
• 44 minutes
• Self-Paced
• Free Video

Fully Linear PCPs and Their Cryptographic Applications

Explore probabilistically checkable proofs, distributed verifiers, and cryptographic applications with a focus on fully linear PCPs and their impact on secure protocols and communication complexity.

• YouTube
• 1 hour 8 minutes
• Self-Paced
• Free Video

How to Do Fiat-Shamir in the Standard Model

Explore interactive protocols, Fiat-Shamir transformation, and delegation in cryptography. Learn about security assumptions, hash functions, and correlation intractability in probabilistic proof systems.

• YouTube
• 1 hour 10 minutes
• Self-Paced
• Free Video

How to Delegate Computations Publicly

Explore probabilistically checkable and interactive proof systems, focusing on publicly verifiable arguments and non-interactive protocols for delegating computations.

• YouTube
• 28 minutes
• Self-Paced
• Free Video

PLONK - Permutations Over Lagrange-Bases for Oecumenical Noninteractive Arguments of Knowledge

Explore PLONK, a cryptographic protocol for zero-knowledge proofs, covering permutation checks, polynomial protocols, and applications in blockchain technology.

• YouTube
• 37 minutes
• Self-Paced
• Free Video

Transparent SNARKs from DARK Compilers

Explore transparent SNARKs and DARK compilers in cryptography. Learn about polynomial commitments, interactive proof systems, and recent advancements in zero-knowledge proofs for blockchain applications.

• YouTube
• 48 minutes
• Self-Paced
• Free Video

Efficient Zero Knowledge Proof from Interactive Proofs

Explore efficient zero-knowledge proofs derived from interactive proofs, focusing on new algorithms, performance improvements, and comparisons to existing systems.

• YouTube
• 48 minutes
• Self-Paced
• Free Video

Optimal Growth in Two-Sided Markets

Explore optimal growth strategies in two-sided markets, focusing on platform dynamics, market balance, and scaling approaches for businesses like Uber.

• YouTube
• 52 minutes
• Self-Paced
• Free Video

Randomness in Number Theory

Explore randomness in number theory, covering topics like finite fields, graphs, quantum gates, and the Riemann Hypothesis with Princeton's Peter Sarnak.

• YouTube
• 1 hour 12 minutes
• Self-Paced
• Free Video

Probabilistically Checkable Proofs - Part I

Explore probabilistically checkable proofs, focusing on proof verification, randomized verifiers, and proof rewriting techniques in this advanced theoretical computer science lecture.

• YouTube
• 59 minutes
• Self-Paced
• Free Video

Interactive Proofs - Part II

Explore advanced concepts in interactive proofs, including arithmetician protocols, sharpset, and general-purpose techniques. Learn about applications, limitations, and cutting-edge developments in this field.

• YouTube
• 1 hour 3 minutes
• Self-Paced
• Free Video

Designing Robust Learners

Explore robust machine learning techniques to handle data perturbations and improve model resilience, focusing on TV estimation, modulus examples, and arbitrary loss scenarios.

• YouTube
• 53 minutes
• Self-Paced
• Free Video

Better Learning from the Past - Counterfactual - Batch RL

Explore counterfactual and batch reinforcement learning for improved decision-making under uncertainty, with focus on generalization bounds and policy optimization techniques.

• YouTube
• 41 minutes
• Self-Paced
• Free Video

How to Fail Interpretability Research

Explore common pitfalls in AI interpretability research, including misconceptions about user trust, model understanding, and evaluation methods.

• YouTube
• 45 minutes
• Self-Paced
• Free Video

Integrating Constraints into Deep Learning Architectures with Structured Layers

Explore integrating constraints into deep learning using structured layers, covering deep equilibrium models, implicit layers, and weight-tied networks for enhanced architecture design.

• YouTube
• 50 minutes
• Self-Paced
• Free Video