Simons Institute Courses

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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• Free Video

Reactive Synthesis

Explore reactive synthesis in computer science, covering automata, LTL, distributed systems, and bounded synthesis. Learn about decidability, complexity, and recent advancements in reasoning.

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

Programming Z3

Learn to program Z3, a powerful SMT solver. Explore CDCL(T), theory interfaces, and advanced solving techniques for Unicode, arithmetic, and beyond.

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

SAT-Solving

Explore SAT-solving techniques, from basic concepts to advanced strategies, covering variables, local constraints, operators, and interactive CDCL procedures for efficient problem-solving.

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

Hybrid Classical-Quantum Algorithms

Explore hybrid algorithms combining quantum and classical computing for optimization and inference, leveraging strengths of both platforms to solve complex problems efficiently.

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

Spoofing Linear Cross-Entropy Benchmarking in Shallow Quantum Circuits

Explore quantum circuit sampling, linear cross-entropy benchmarking, and spoofing techniques in shallow quantum systems. Gain insights into theoretical computer science and quantum computing advancements.

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

Recent Developments in Supervised Learning With Noise

Explore recent advancements in supervised learning with noise, focusing on high-dimensional scenarios, noise models, and innovative techniques to overcome learning challenges.

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