Juice: A Julia Package for Logic and Probabilistic Circuits.

Meihua Dang, Pasha Khosravi, Yitao Liang, Antonio Vergari, Guy Van den Broeck

Browse the full AAAI paper archive.