Timezone: »
Weighted model integration (WMI) is an appealing framework for probabilistic inference: it allows for expressing the complex dependencies in real-world problems, where variables are both continuous and discrete, via the language of Satisfiability Modulo Theories (SMT), as well as to compute probabilistic queries with complex logical and arithmetic constraints. Yet, existing WMI solvers are not ready to scale to these problems. They either ignore the intrinsic dependency structure of the problem entirely, or they are limited to overly restrictive structures. To narrow this gap, we derive a factorized WMI computation enabling us to devise a scalable WMI solver based on message passing, called MP-WMI. Namely, MP-WMI is the first WMI solver that can (i) perform exact inference on the full class of tree-structured WMI problems, and (ii) perform inter-query amortization, e.g., to compute all marginal densities simultaneously. Experimental results show that our solver dramatically outperforms the existingWMI solvers on a large set of benchmarks.
Author Information
Zhe Zeng (University of California, Los Angeles)
Paolo Morettin (University of Trento)
Fanqi Yan (UCAS)
Antonio Vergari (University of California, Los Angeles)
Guy Van den Broeck (University of California, Los Angeles)
More from the Same Authors
-
2022 : P32: Collapsed Inference for Bayesian Deep Learning »
Zhe Zeng -
2022 : Session 3: New Computational Technologies for Reasoning »
Armando Solar-Lezama · Guy Van den Broeck · Jan-Willem van de Meent · Charles Sutton -
2021 Poster: Probabilistic Generating Circuits »
Honghua Zhang · Brendan Juba · Guy Van den Broeck -
2021 Oral: Probabilistic Generating Circuits »
Honghua Zhang · Brendan Juba · Guy Van den Broeck -
2020 : On the Relationship Between Probabilistic Circuits and Determinantal Point Processes »
Honghua Zhang · Steven Holtzen · Guy Van den Broeck -
2020 Poster: Einsum Networks: Fast and Scalable Learning of Tractable Probabilistic Circuits »
Robert Peharz · Steven Lang · Antonio Vergari · Karl Stelzner · Alejandro Molina · Martin Trapp · Guy Van den Broeck · Kristian Kersting · Zoubin Ghahramani -
2019 Workshop: The Third Workshop On Tractable Probabilistic Modeling (TPM) »
Pedro Domingos · Daniel Lowd · Tahrima Rahman · Antonio Vergari · Alejandro Molina · Antonio Vergari -
2018 Poster: Sound Abstraction and Decomposition of Probabilistic Programs »
Steven Holtzen · Guy Van den Broeck · Todd Millstein -
2018 Oral: Sound Abstraction and Decomposition of Probabilistic Programs »
Steven Holtzen · Guy Van den Broeck · Todd Millstein -
2018 Poster: Stein Variational Message Passing for Continuous Graphical Models »
Dilin Wang · Zhe Zeng · Qiang Liu -
2018 Oral: Stein Variational Message Passing for Continuous Graphical Models »
Dilin Wang · Zhe Zeng · Qiang Liu -
2018 Poster: A Semantic Loss Function for Deep Learning with Symbolic Knowledge »
Jingyi Xu · Zilu Zhang · Tal Friedman · Yitao Liang · Guy Van den Broeck -
2018 Oral: A Semantic Loss Function for Deep Learning with Symbolic Knowledge »
Jingyi Xu · Zilu Zhang · Tal Friedman · Yitao Liang · Guy Van den Broeck