@misc{indiciae9436e4c5f5ed,
  title = {Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic},
  author = {Markus de Medeiros and Puming Liu and Kwing Hei Li and Alejandro Aguirre and Lars Birkedal and Joseph Tassarotti},
  year = {2026},
  url = {https://arxiv.org/abs/2605.13526},
  note = {Source identifier: 2605.13526}
}