ML Anthology

Trivedi, Nitesh

1 publications

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