APA (7th ed.) Citation

Bao, J., Trivedi, N., Pathak, D., Hsu, J., & Roy, S. (2021). Data-Driven Invariant Learning for Probabilistic Programs.

Chicago Style (17th ed.) Citation

Bao, Jialu, Nitesh Trivedi, Drashti Pathak, Justin Hsu, and Subhajit Roy. Data-Driven Invariant Learning for Probabilistic Programs. 2021.

MLA (9th ed.) Citation

Bao, Jialu, et al. Data-Driven Invariant Learning for Probabilistic Programs. 2021.