@misc{indiciae7d647a77b7ca,
  title = {Type-Directed Discretization of Probabilistic Programs (Extended Version)},
  author = {Katherine Wu and Jules Jacobs and Kevin Batz and Alexandra Silva},
  year = {2026},
  doi = {10.1145/3839534},
  url = {https://arxiv.org/abs/2608.16093},
  note = {Source identifier: 2608.16093}
}