Artifact for "Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic".

Markus de Medeiros Puming Liu Kwing Hei Li Alejandro Aguirre 0001 Lars Birkedal Joseph Tassarotti Artifact for "Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic". Zenodo 2026 May https://doi.org/10.5281/zenodo.20114733 streams/repo/zenodo data/12/MedeirosLLABT26b