@misc{indiciae6b533a54a93b,
  title = {Data-Driven Invariant Learning for Probabilistic Programs},
  author = {Jialu Bao and Nitesh Trivedi and Drashti Pathak and Justin Hsu and Subhajit Roy},
  year = {2025},
  doi = {10.1007/s10703-024-00466-x},
  url = {https://arxiv.org/abs/2106.05421},
  note = {Source identifier: 2106.05421}
}