Preprints
Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
Markus de Medeiros
, Puming Liu, Kwing Hei Li, Alejandro Aguirre, Lars Birkedal, Joseph Tassarotti
Accepted
LICS 2026
[ pdf ]