10.5281/zenodo.4060124
https://zenodo.org/records/4060124
oai:zenodo.org:4060124
Steven Holtzen
Steven Holtzen
UCLA
Guy Van den Broeck
Guy Van den Broeck
UCLA
Todd Millstein
Todd Millstein
UCLA
Artifact for Scaling Exact Inference for Discrete Probabilistic Programs
Zenodo
2020
Probabilistic Programming
2020-09-30
10.5281/zenodo.4060123
1.0
Creative Commons Attribution 4.0 International
This is the primary artifact for "Scaling Exact Inference for Discrete Probabilistic Programs", to appear in OOPSLA 2020. To build, follow the instructions in the README.md file inside "dice-oopsla-artifact.zip". Included also is a required dependency "mlcuddidil-master.zip".