%0 Journal Article %1 journals/corr/abs-2106-05421 %A Bao, Jialu %A Pathak, Drashti %A Hsu, Justin %A Roy, Subhajit %D 2021 %J CoRR %K dblp %T Data-Driven Invariant Learning for Probabilistic Programs. %U http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-05421 %V abs/2106.05421

@article{journals/corr/abs-2106-05421, added-at = {2023-01-03T00:00:00.000+0100}, author = {Bao, Jialu and Pathak, Drashti and Hsu, Justin and Roy, Subhajit}, biburl = {https://www.bibsonomy.org/bibtex/2af9ffc8e074600053f5b658b17787e4c/dblp}, ee = {https://arxiv.org/abs/2106.05421}, interhash = {e20ec3a0b4bd12a1d4ff8ee0b9047066}, intrahash = {af9ffc8e074600053f5b658b17787e4c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:26:01.000+0200}, title = {Data-Driven Invariant Learning for Probabilistic Programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-05421}, volume = {abs/2106.05421}, year = 2021 }