Juice: A Julia Package for Logic and Probabilistic Circuits

Abstract

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.

Cite

Text

Dang et al. "Juice: A Julia Package for Logic and Probabilistic Circuits." AAAI Conference on Artificial Intelligence, 2021. doi:10.1609/AAAI.V35I18.17999

Markdown

[Dang et al. "Juice: A Julia Package for Logic and Probabilistic Circuits." AAAI Conference on Artificial Intelligence, 2021.](https://mlanthology.org/aaai/2021/dang2021aaai-juice/) doi:10.1609/AAAI.V35I18.17999

BibTeX

@inproceedings{dang2021aaai-juice,
  title     = {{Juice: A Julia Package for Logic and Probabilistic Circuits}},
  author    = {Dang, Meihua and Khosravi, Pasha and Liang, Yitao and Vergari, Antonio and Van den Broeck, Guy},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2021},
  pages     = {16020-16023},
  doi       = {10.1609/AAAI.V35I18.17999},
  url       = {https://mlanthology.org/aaai/2021/dang2021aaai-juice/}
}