Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic. - Markus de Medeiros; Puming Liu; Kwing Hei Li; Alejandro Aguirre 001; Lars Birkedal; Joseph Tassarotti (CoRR, 2026)