TY  - RPRT
TI  - Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
AU  - Markus de Medeiros
AU  - Puming Liu
AU  - Kwing Hei Li
AU  - Alejandro Aguirre
AU  - Lars Birkedal
AU  - Joseph Tassarotti
PY  - 2026
UR  - https://arxiv.org/abs/2605.13526
ID  - 2605.13526
ER  -