Simons Institute Courses

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

Solving Marginal MAP Exactly by Probabilistic Circuit Transformations

Efficient marginal MAP solver for probabilistic circuits using iterative transformations and pruning, enabling exact solutions without search for decision-making problems.

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

Direct Access for Conjunctive Queries with Negation

Explores efficient direct access techniques for signed conjunctive queries, extending tractability results to queries with negative atoms using circuit-based approaches.

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

Factorized Databases

Explore compressed yet lossless representations of relational data, their efficient processing, and applications in algorithms, probabilistic databases, and in-database machine learning.

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

Leveraging Tree Automata Approximation Results for Efficient Sampling and Counting

Explore efficient approximation algorithms for counting and sampling satisfying assignments in structured DNNF circuits, leveraging recent tree automata results.

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

Efficient Enumeration Algorithms via Circuits

Explore efficient enumeration of satisfying assignments in circuits, with applications to logic queries and database theory. Learn about maintaining enumeration structures on dynamic data.

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

Weighted Model Integration

Explore advanced probabilistic inference in hybrid domains using Weighted Model Integration. Learn about solvers, tractability analysis, and applications in Bayesian deep learning.

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

An Approximate Skolem Function Counter

Explores an algorithm for counting Skolem functions in quantified Boolean formulas, addressing challenges in synthesis problems and providing PAC guarantees for approximate counting.

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

Subtractive Mixture Models: Representation and Learning

Exploring subtractive mixtures in probabilistic circuits: increased expressiveness, efficient learning, and inference for complex distributions. Theoretical and empirical advantages over traditional additive mixtures.

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

The Rise of Tractable Circuits - From Cryptography to Continuous Generative Models

Exploring tractable circuits' applications in cryptography and continuous generative models, showcasing advancements in neuro-symbolic approaches and probabilistic inference for AI reasoning.

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

Decision Diagrams for Efficient Inference and Optimization in Expressive Discrete-Continuous Domains

Explore extended algebraic decision diagrams (XADDs) for representing piecewise functions, enabling efficient computations and novel solutions in probabilistic inference, optimization, and decision-making.

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

Utilizing Structure in Combinatorial Solving and Reasoning

Efficient utilization of structure for combinatorial problem solving, focusing on treewidth measure and answer set programming. Explores runtime bounds, decomposition-guided reductions, and empirical results in hard reasoning modes.

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

Approximating the TV Distance Between Two Product Distributions

Explore techniques for approximating total variation distance between high-dimensional product distributions, including randomized coupling and deterministic sparsification methods.

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

Tractable Control for Autoregressive Language Generation

Explores using tractable probabilistic models to impose lexical constraints in autoregressive text generation, achieving state-of-the-art performance on constrained text generation benchmarks.

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

On Finding Modes of Gaussian Sum-Product Networks

Explore challenges and tractability of finding modes in Probabilistic Circuits, focusing on Gaussian Sum-Product Networks for machine learning tasks like structured prediction.

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