Simons Institute Courses

Credal Models for Uncertainty and Logic Treatment

Explore credal models as a generalization of probability theory for handling uncertainty and logic in AI, enhancing reliability and trustworthiness in decision-making processes.

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

Model Counting Meets Distinct Estimation

Exploring connections between model counting and F0 estimation, revealing shared techniques and developing new algorithms for both fields through cross-domain insights.

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

The Intensional-Extensional Problem in Probabilistic Databases

Explores probabilistic query evaluation in databases, discussing safe queries, knowledge compilation methods, and a combinatorial conjecture for solving complex cases efficiently.

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

Compiling FO Sentences to Circuits - Upper Bounds and Lower Bounds on the Size of the Circuit

Explores compilation of Boolean formulas into circuits, focusing on provenance of FO sentences. Examines size complexity and limitations of various circuit types for model counting.

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

Lower Bounds for Tractable Arithmetic Circuits

Explores techniques for proving size lower bounds on tractable arithmetic circuits, focusing on structural restrictions and their impact on circuit complexity in probabilistic reasoning.

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

Tractable Bounding of Counterfactual Queries by Knowledge Compilation

Explores bounding partially identifiable queries in causal models using knowledge compilation, offering computational advantages for inference in Bayesian networks with shared structures.

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

Combined Approximations for Probabilistic Query Evaluation - An Intensional Approach

Explore innovative techniques for probabilistic query evaluation using combined approximations, focusing on an intensional approach to enhance efficiency and accuracy.

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

First-Order Model Counting and Sampling

Explores recent developments in weighted first-order model counting and sampling, discussing applications in combinatorics, probability theory, and potential for declarative frameworks in sampling combinatorial structures.

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

AND/OR Search Spaces for Anytime Probabilistic Reasoning

Explore anytime probabilistic reasoning using AND/OR search spaces, enhancing decision-making in uncertain environments with efficient algorithms.

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

Complementarities and Externalities

Explore new approaches to overcome challenges in economic environments with indivisible goods, focusing on approximating resource constraints when preferences exhibit complementarities.

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

Stability in Trading Networks

Explores trail-stability in trading networks, proving existence under full substitutability and discussing NP-hardness of stable outcome existence and verification.

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

High Dimensional Calibration for Rational Decision Making

Explore statistical forecasts in high-dimensional settings, focusing on properties that incentivize rational decision-making and efficient algorithms for strategic environments.

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

LP-Duality and the Cores of Games

Explore LP-duality's role in game theory, focusing on new matching-based games, extended core concepts, and approximate cores for general graph matching games. Gain insights into algorithmic fairness and game theory applications.

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

Auto-Bidding, Auctions, and Ad Allocation

Explore automated bidding in online advertising, its impact on auction design, and challenges in ad allocation. Learn about recent research at the intersection of auto-bidding and auction theory.

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

Matching and Disclosure

Explore economic theories of matching and disclosure in market design, focusing on online platforms and their impact on market efficiency and participant strategies.

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