Testing Probabilistic Circuits - Pote, Yash Pralhad; Meel, Kuldeep S (Advances in Neural Information Processing Systems, 2021)