Simons Institute Courses

Automata-Based Approach for Quantum Circuit and Program Verification

Innovative automata-based technique for verifying quantum circuits, offering scalable analysis and bug detection through compact state representation and algebraic computations.

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

Stochastic Games with Neural Perception Mechanisms

Explore strategic reasoning in multi-agent systems using partially-observable stochastic games and neural perception mechanisms for optimal strategy synthesis in complex environments.

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

New Models of Games with Imperfect Information

Explores innovative approaches to modeling imperfect information in infinite games using finite-state automata, comparing observation-based and indistinguishability-relation models for enhanced expressiveness and strategy synthesis.

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

What Does Machine Learning Have to Offer Mathematics? - Theoretically Speaking

Explore the intersection of machine learning and mathematics, focusing on novel techniques in combinatorics and potential impacts on mathematical practice.

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

Synthesis of Privacy-Preserving Systems

Explore privacy-preserving system synthesis, addressing hidden signals, budget constraints, and incomplete information while satisfying specifications and protecting secrets.

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

Linear Temporal Logic - From Infinite to Finite Horizon

Explore finite-horizon temporal synthesis in Linear Temporal Logic, its algorithmic advantages, and applications in reactive synthesis and infinite-horizon reasoning.

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

Program Repair for Hyperproperties

Explore program repair for hyperproperties, focusing on HyperLTL specifications. Learn about complexity analysis, repair algorithms, and practical implementation using syntax-guided synthesis.

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

Synthesis from Hyperproperties

Explore reactive synthesis for hyperproperties, generalizing trace properties to sets of sets. Learn about applications, challenges, and practical methods for implementation.

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

Reactive Synthesis - Open Questions and Challenges

Experts discuss open questions and challenges in reactive synthesis, exploring cutting-edge research and future directions in system modeling and automation.

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

Understanding the Expressive Power of Transformers Through Formal Language Theory

Explore the intersection of formal language theory and machine learning, focusing on transformer expressiveness and recent developments in understanding their learning capabilities.

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

Synthesis and Verification of Finite Horizon Tasks

Explore finite horizon task synthesis and verification techniques, focusing on model and system creation for time-bounded objectives in computational systems.

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

Lifting as an Abstraction for Control Synthesis in Cyber-Physical Systems

Explore control synthesis for cyber-physical systems through discrete abstractions and dynamic simplification via lifting, with insights on Koopman embeddings and potential applications.

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

Learning From Contrastive Examples in Machine Learning

Explores how contrastive training examples impact active learning algorithms, focusing on sample complexity for geometric concepts and Boolean functions, with connections to self-directed learning.

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

Grisette: Symbolic Compilation as a Functional Programming Library

Explore symbolic compilation techniques in functional programming with Grisette, enhancing model and system synthesis capabilities for advanced software development.

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

Specification-guided Reinforcement Learning

Explore specification-guided reinforcement learning techniques for synthesizing models and systems, presented by Rajeev Alur from the University of Pennsylvania.

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