Timezone: »
Probabilistic circuits (PCs) are a powerful modeling framework for representing tractable probability distributions over combinatorial spaces. In machine learning and probabilistic programming, one is often interested in understanding whether the distributions learned using PCs are close to the desired distribution. Thus, given two probabilistic circuits, a fundamental problem of interest is to determine whether their distributions are close to each other.The primary contribution of this paper is a closeness test for PCs with respect to the total variation distance metric. Our algorithm utilizes two common PC queries, counting and sampling. In particular, we provide a poly-time probabilistic algorithm to check the closeness of two PCs, when the PCs support tractable approximate counting and sampling. We demonstrate the practical efficiency of our algorithmic framework via a detailed experimental evaluation of a prototype implementation against a set of 375 PC benchmarks. We find that our test correctly decides the closeness of all 375 PCs within 3600 seconds.
Author Information
Yash Pote (National University of Singapore)
Kuldeep S Meel (National University of Singapore)
More from the Same Authors
-
2022 Poster: On Scalable Testing of Samplers »
Yash Pote · Kuldeep S Meel -
2020 Poster: On Testing of Samplers »
Kuldeep S Meel · Yash Pote · Sourav Chakraborty -
2020 Poster: Taming Discrete Integration via the Boon of Dimensionality »
Jeffrey Dudek · Dror Fried · Kuldeep S Meel -
2020 Poster: Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning »
Arnab Bhattacharyya · Sutanu Gayen · Kuldeep S Meel · N. V. Vinodchandran -
2019 Poster: Embedding Symbolic Knowledge into Deep Networks »
Yaqi Xie · Ziwei Xu · Kuldeep S Meel · Mohan Kankanhalli · Harold Soh