noDice: Inference for Probabilistic Programs with Nondeterminism and Conditioning - Artifact

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Tobias Gürtler
DOI: 10.5281/zenodo.18739789
Cited by: 1

Abstract

This is the artifact for the probabilistic programming language noDice. Contained are the source code and benchmarks needed to reproduce the experiments from the corresponding paper, as well as a description of the artifact. README.md file inside "nodice artefact.zip".

Fields of Study & Subjects

Bayesian Modeling and Causal Inference Constraint Satisfaction and Optimization Formal Methods in Verification

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
23 February 2026