24 citations · 109 across the 67 of their papers we have counts for
9 papers · 1 filter
Towards an Interpretable Latent Space in Structured Models for Video Prediction
Rushil Gupta, Vishal Sharma, Yash Jain +3
We focus on the task of future frame prediction in video governed by underlying physical dynamics. We work with models which are object-centric, i.e., explicitly work with object r…
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte +3
We revisit the symbolic verification of Markov chains with respect to finite horizon reachability properties. The prevalent approach iteratively computes step-bounded state reachab…
Tractable Regularization of Probabilistic Circuits
Anji Liu, Guy Van den Broeck
Probabilistic Circuits (PCs) are a promising avenue for probabilistic modeling. They combine advantages of probabilistic graphical models (PGMs) with those of neural networks (NNs)…
Probabilistic Sufficient Explanations
Eric Wang, Pasha Khosravi, Guy Van den Broeck
Understanding the behavior of learned classifiers is an important task, and various black-box explanations, logical reasoning approaches, and model-specific methods have been propo…
Logical Abstractions for Noisy Variational Quantum Algorithm Simulation
Yipeng Huang, Steven Holtzen, Todd Millstein +2
Due to the unreliability and limited capacity of existing quantum computer prototypes, quantum circuit simulation continues to be a vital tool for validating next generation quantu…
Leveraging Unlabeled Data for Entity-Relation Extraction through Probabilistic Constraint Satisfaction
Kareem Ahmed, Eric Wang, Guy Van den Broeck +1
We study the problem of entity-relation extraction in the presence of symbolic domain knowledge. Such knowledge takes the form of an ontology defining relations and their permissib…