Simons Institute Courses

Belief and Survey Propagation

Explore belief and survey propagation algorithms for solving complex satisfiability problems, examining their applications and theoretical foundations in computational theory.

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

A Brief Introduction to Theoretical Foundations of Machine Learning and Machine Teaching

Explore theoretical foundations of machine learning and machine teaching, focusing on synthesis of models and systems in this comprehensive lecture by Jerry Zhu from University of Wisconsin-Madison.

• YouTube
• 2 hours 11 minutes
• Self-Paced
• Free Video

Quantum Fault Tolerance with Flag Qubits - Quantum Colloquium

Explore fault-tolerant quantum computing using flag qubits, a qubit-efficient method for error detection and correction in quantum circuits, with applications and theoretical implications.

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

SAT-Solving

Explore the theory and practice of SAT-solving, delving into satisfiability concepts and advanced techniques in this comprehensive lecture by Armin Biere.

• YouTube
• 4 hours 23 minutes
• Self-Paced
• Free Video

Dancing Around SAT

Explore the intricacies of SAT complexity theory with Valentine Kabanets, delving into theoretical aspects and practical implications of satisfiability in computer science.

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

Games: From Logic and Automata to Algorithms

Explore the intersection of logic, automata, and algorithms through game theory, focusing on theoretical foundations and computational applications.

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

Pseudorandomness

Explorations in pseudorandomness: SoS lower bounds, block rigidity, unbounded-width permutation branching programs, computational entropies, and random projections in circuit complexity.

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

Learning Ising Models from One, Ten or a Thousand Samples

Explore statistical learning theory and Ising models, focusing on sample complexity and efficient algorithms for learning in high-dimensional settings.

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

Geometric Aspects of Sampling and Optimization

Explore geometric perspectives on sampling and optimization techniques, uncovering insights for data science applications and algorithm design.

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

Berkeley in the 80s - Richard Karp and the Theory of Computing

In-depth interview with Turing Laureate Richard Karp, exploring his groundbreaking research on computational theory at Berkeley in the 1980s and its lasting impact on computer science.

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

Fast Reinforcement Learning With Generalized Policy Updates

Explore advanced techniques in deep reinforcement learning, focusing on generalized policy updates for rapid learning and improved performance in complex environments.

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

Attacking the Off-Policy Problem With Duality

Explore deep reinforcement learning techniques to address off-policy challenges using duality principles, enhancing AI decision-making in complex environments.

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

The Alignment Problem: Machine Learning and Human Values

Explore the ethical challenges and safety concerns in machine learning's rapid growth, examining recent progress and open questions in aligning AI with human values.

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

The Interpolation Phase Transition in Neural Networks - Memorization and Generalization Lazy Training

Explores overparametrization in neural networks, focusing on two-layer models in the neural tangent regime. Analyzes interpolation, optimization landscape, and generalization error under specific data assumptions.

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

Stochastic Programming Approach to Optimization Under Uncertainty

Explore optimization under uncertainty using stochastic programming, focusing on theoretical foundations and practical applications in decision-making processes.

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