TY - JOUR AU - Dang, Meihua AU - Khosravi, Pasha AU - Liang, Yitao AU - Vergari, Antonio AU - Van den Broeck, Guy PY - 2021/05/18 Y2 - 2024/03/29 TI - Juice: A Julia Package for Logic and Probabilistic Circuits JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 35 IS - 18 SE - AAAI Demonstration Track DO - 10.1609/aaai.v35i18.17999 UR - https://ojs.aaai.org/index.php/AAAI/article/view/17999 SP - 16020-16023 AB - Juice is an open-source Julia package providing tools for logic and probabilistic reasoning and learning based on logic circuits (LCs) and probabilistic circuits (PCs). It provides a range of efficient algorithms for probabilistic inference queries, such as computing marginal probabilities (MAR), as well as many more advanced queries. Certain structural circuit properties are needed to achieve this tractability, which Juice helps validate. Additionally, it supports several parameter and structure learning algorithms proposed in the recent literature. By leveraging parallelism (on both CPU and GPU), Juice provides a fast implementation of circuit-based algorithms, which makes it suitable for tackling large-scale datasets and models. ER -