Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy: Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract). IJCAI 2023: 6415-6419