@misc{indiciae6752bcf816f3,
  title = {Structural Abstraction and Refinement for Probabilistic Programs},
  author = {Guanyan Li and Juanen Li and Zhilei Han and Peixin Wang and Hongfei Fu and Fei He},
  year = {2025},
  url = {https://arxiv.org/abs/2508.12344},
  note = {Source identifier: 2508.12344}
}