Semantic Loss code
Forked from arranger1044/DEBD
A collection of commonly used datasets as benchmarks for density estimation
Code for "On Tractable Computation of Expected Predictions, NeurIPS 2019"
First-order knowledge compilation for lifted probabilistic inference
Wrapper for the CUDD library for decision diagrams
Naive Conformant Learning
Code of the NeurIPS 2021 paper "Tractable Regularization of Probabilistic Circuits"
Code for ICML2020 paper "Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing"
Entry to model counting competition 2021.
Code for UAI 2021 paper "Tractable Computation of Expected Kernels"
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
Dice for Probabilistic Model Checking