TY  - RPRT
TI  - Data-Driven Invariant Learning for Probabilistic Programs
AU  - Jialu Bao
AU  - Nitesh Trivedi
AU  - Drashti Pathak
AU  - Justin Hsu
AU  - Subhajit Roy
PY  - 2025
DO  - 10.1007/s10703-024-00466-x
UR  - https://arxiv.org/abs/2106.05421
ID  - 2106.05421
ER  -