@misc{indiciaeb8d32f256ac5,
  title = {Verifying Sampling Algorithms via Distributional Invariants},
  author = {Daniel Zilken and Kevin Batz and Joost-Pieter Katoen and Tobias Winkler},
  year = {2026},
  url = {https://arxiv.org/abs/2509.06410},
  note = {Source identifier: 2509.06410}
}