
Tractable Regularization of Probabilistic Circuits
Probabilistic Circuits (PCs) are a promising avenue for probabilistic mo...
read it

Model Checking FiniteHorizon Markov Chains with Probabilistic Inference
We revisit the symbolic verification of Markov chains with respect to fi...
read it

Probabilistic Sufficient Explanations
Understanding the behavior of learned classifiers is an important task, ...
read it

Leveraging Unlabeled Data for EntityRelation Extraction through Probabilistic Constraint Satisfaction
We study the problem of entityrelation extraction in the presence of sy...
read it

Tractable Computation of Expected Kernels by Circuits
Computing the expectation of some kernel function is ubiquitous in machi...
read it

Probabilistic Generating Circuits
Generating functions, which are widely used in combinatorics and probabi...
read it

A Compositional Atlas of Tractable Circuit Operations: From Simple Transformations to Complex InformationTheoretic Queries
Circuit representations are becoming the lingua franca to express and re...
read it

Group Fairness by Probabilistic Modeling with Latent Fair Decisions
Machine learning systems are increasingly being used to make impactful d...
read it

On the Tractability of SHAP Explanations
SHAP explanations are a popular featureattribution mechanism for explai...
read it

Strudel: Learning StructuredDecomposable Probabilistic Circuits
Probabilistic circuits (PCs) represent a probability distribution as a c...
read it

Handling Missing Data in Decision Trees: A Probabilistic Approach
Decision trees are a popular family of models due to their attractive pr...
read it

On the Relationship Between Probabilistic Circuits and Determinantal Point Processes
Scaling probabilistic models to large realistic problems and datasets is...
read it

CounterexampleGuided Learning of Monotonic Neural Networks
The widespread adoption of deep learning is often attributed to its auto...
read it

On Effective Parallelization of Monte Carlo Tree Search
Despite its groundbreaking success in Go and computer games, Monte Carlo...
read it

Scaling Exact Inference for Discrete Probabilistic Programs
Probabilistic programming languages (PPLs) are an expressive means of re...
read it

Einsum Networks: Fast and Scalable Learning of Tractable Probabilistic Circuits
Probabilistic circuits (PCs) are a promising avenue for probabilistic mo...
read it

Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing
Weighted model integration (WMI) is a very appealing framework for proba...
read it

OffPolicy Deep Reinforcement Learning with Analogous Disentangled Exploration
Offpolicy reinforcement learning (RL) is concerned with learning a rewa...
read it

Symbolic Querying of Vector Spaces: Probabilistic Databases Meets Relational Embeddings
To deal with increasing amounts of uncertainty and incompleteness in rel...
read it

LaTeS: Latent Space Distillation for TeacherStudent Driving Policy Learning
We describe a policy learning approach to map visual inputs to driving c...
read it

On Tractable Computation of Expected Predictions
Computing expected predictions has many interesting applications in area...
read it

Hybrid Probabilistic Inference with Logical Constraints: Tractability and MessagePassing
Weighted model integration (WMI) is a very appealing framework for proba...
read it

Learning Fair Naive Bayes Classifiers by Discovering and Eliminating Discrimination Patterns
As machine learning is increasingly used to make realworld decisions, r...
read it

Smoothing Structured Decomposable Circuits
We study the task of smoothing a circuit, i.e., ensuring that all childr...
read it

Symbolic Exact Inference for Discrete Probabilistic Programs
The computational burden of probabilistic inference remains a hurdle for...
read it

Efficient SearchBased Weighted Model Integration
Weighted model integration (WMI) extends Weighted model counting (WMC) t...
read it

Generating and Sampling Orbits for Lifted Probabilistic Inference
Lifted inference scales to large probability models by exploiting symmet...
read it

What to Expect of Classifiers? Reasoning about Logistic Regression with Missing Features
While discriminative classifiers often yield strong predictive performan...
read it

Learning Logistic Circuits
This paper proposes a new classification model called logistic circuits....
read it

On Constrained OpenWorld Probabilistic Databases
Increasing amounts of available data have led to a heightened need for r...
read it

Active Inductive Logic Programming for Code Search
Modern search techniques either cannot efficiently incorporate human fee...
read it

Approximate Knowledge Compilation by Online Collapsed Importance Sampling
We introduce collapsed compilation, a novel approximate inference algori...
read it

On Robust Trimming of Bayesian Network Classifiers
This paper considers the problem of removing costly features from a Baye...
read it

A Semantic Loss Function for Deep Learning with Symbolic Knowledge
This paper develops a novel methodology for using symbolic knowledge in ...
read it

Domain Recursion for Lifted Inference with Existential Quantifiers
In recent work, we proved that the domain recursion inference rule makes...
read it

Probabilistic Program Abstractions
Abstraction is a fundamental tool for reasoning about complex systems. P...
read it

Don't Fear the Bit Flips: Optimized Coding Strategies for Binary Classification
After being trained, classifiers must often operate on data that has bee...
read it

New Liftable Classes for FirstOrder Probabilistic Inference
Statistical relational models provide compact encodings of probabilistic...
read it

Symmetric Weighted FirstOrder Model Counting
The FO Model Counting problem (FOMC) is the following: given a sentence ...
read it

Lifted Probabilistic Inference for Asymmetric Graphical Models
Lifted probabilistic inference algorithms have been successfully applied...
read it

Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data
We propose an efficient family of algorithms to learn the parameters of ...
read it

Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting
In this paper we study lifted inference for the Weighted FirstOrder Mod...
read it

On the Role of Canonicity in Bottomup Knowledge Compilation
We consider the problem of bottomup compilation of knowledge bases, whi...
read it

Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference
Exchangeability is a central notion in statistics and probability theory...
read it

Skolemization for Weighted FirstOrder Model Counting
Firstorder model counting emerged recently as a novel reasoning task, a...
read it

On the Complexity and Approximation of Binary Evidence in Lifted Inference
Lifted inference algorithms exploit symmetries in probabilistic models t...
read it

Inference and learning in probabilistic logic programs using weighted Boolean formulas
Probabilistic logic programs are logic programs in which some of the fac...
read it

Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference
We propose an approach to lifted approximate inference for firstorder p...
read it

Lifted Variable Elimination: A Novel Operator and Completeness Results
Various methods for lifted probabilistic inference have been proposed, b...
read it

Inference in Probabilistic Logic Programs using Weighted CNF's
Probabilistic logic programs are logic programs in which some of the fac...
read it
Guy Van den Broeck
verfied profile
Guy Van den Broeck is an Associate Professor and Samueli Fellow at UCLA, in the Computer Science Department, where he directs the Statistical and Relational Artificial Intelligence (StarAI) lab. His research interests are in Machine Learning, Knowledge Representation and Reasoning, and Artificial Intelligence in general. His work has been recognized with best paper awards from key artificial intelligence venues such as UAI, ILP, KR, and AAAI (honorable mention). He also serves as Associate Editor for the Journal of Artificial Intelligence Research (JAIR). Guy is the recipient of an NSF CAREER award, a Sloan Fellowship, and the IJCAI19 Computers and Thought Award.