Data-Driven Invariant Learning for Probabilistic Programs. - Jialu Bao; Nitesh Trivedi; Drashti Pathak; Justin Hsu; Subhajit Roy 001 (CAV (1), 2022)

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