Simons Institute Courses

An Almost Constant Lower Bound of the Isoperimetric Coefficient in the KLS Conjecture

Explore the KLS Conjecture's isoperimetric coefficient, its implications for MC sampling, and recent breakthroughs in establishing a near-constant lower bound.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

Decoding Nonhuman Communication - Polylogues

Explore cutting-edge research on decoding nonhuman communication, from sperm whale vocalizations to plant acoustic responses, using machine learning and natural language processing techniques.

• YouTube
• 42 minutes
• On-Demand
• Free Video

Quantum Algorithms for Optimization - Quantum Colloquium

Explore quantum algorithms for optimization, including discrete and continuous problems, with insights on potential speedups and limitations in quantum computing applications.

• YouTube
• 1 hour 14 minutes
• On-Demand
• Free Video

Formal Languages and Automata for Reward Function Specification and Efficient Reinforcement Learning

Explore formal languages and automata for specifying reward functions in reinforcement learning, focusing on Linear Temporal Logic and Reward Machines to address real-world RL challenges.

• YouTube
• 1 hour 24 minutes
• On-Demand
• Free Video

Using Program Synthesis to Build Compilers

Explore program synthesis techniques for building efficient compilers, focusing on syntax-driven compilation, verification, and evaluation methods.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Classical Shadows of Quantum States - Quantum Colloquium

Explore quantum state representation, shadow tomography, and machine learning applications in quantum many-body problems with John Preskill's insightful lecture on classical shadows.

• YouTube
• 1 hour 9 minutes
• On-Demand
• Free Video

An Automated Approach to the Collatz Conjecture

Explore an automated approach to the Collatz Conjecture, focusing on string rewriting, mixed representations, and alternative systems to tackle this famous mathematical problem.

• YouTube
• 49 minutes
• On-Demand
• Free Video

The Area-Law Conjecture in Many-Body Quantum Physics - Quantum Colloquium

Explore the area-law conjecture in quantum physics, its implications for simulating quantum systems, and recent breakthroughs towards proving it in 2D systems.

• YouTube
• 1 hour 23 minutes
• On-Demand
• Free Video

On Quantum Linear Algebra for Machine Learning - Quantum Colloquium

Explore quantum singular value transformation for machine learning, its applications, barriers to quantum speedups, and connections to classical algorithms.

• YouTube
• 1 hour 3 minutes
• On-Demand
• Free Video

Dreamcoder- Bootstrapping Inductive Program Synthesis With Wake-Sleep Library Learning

Explore program induction and library learning in AI, focusing on DreamCoder's approach to synthesizing models and systems through neural-guided Bayesian inference and abstraction refinement.

• YouTube
• 47 minutes
• On-Demand
• Free Video

Liquid Time Constant Networks

Explore time-continuous neural networks, focusing on Liquid Time Constant Networks and their stable state, expressivity, and performance in dynamic causal modeling.

• YouTube
• 31 minutes
• On-Demand
• Free Video

Towards Practical Quantum Advantage - Quantum Colloquium

Explore quantum computing's potential for practical advantage, focusing on small data problems with superquadratic speedups. Discusses progress in quantum algorithms for chemistry and simulation challenges.

• YouTube
• 1 hour 4 minutes
• On-Demand
• Free Video

Are We Aging Well?

Explore the evolution and impact of Satisfiability (SAT) in computing theory over 50 years, including recent breakthroughs, algorithms, and its central role in computational complexity.

• YouTube
• 1 hour
• On-Demand
• Free Video

Fault Tolerance with LDPC Codes - Quantum Colloquium

Explore fault tolerance in quantum computing using LDPC codes, examining their potential to reduce overhead compared to surface codes and discussing recent progress in the field.

• YouTube
• 1 hour 5 minutes
• On-Demand
• Free Video

Quantum Supremacy via Boson Sampling: Theory and Practice - Quantum Colloquium

Explore quantum supremacy via BosonSampling, comparing it to other quantum computing approaches and discussing recent advancements, challenges, and open theoretical problems in the field.

• YouTube
• 1 hour 12 minutes
• On-Demand
• Free Video