%0 Conference Paper %1 conf/ijcai/BaoTPH023 %A Bao, Jialu %A Trivedi, Nitesh %A Pathak, Drashti %A Hsu, Justin %A Roy, Subhajit %B IJCAI %D 2023 %I ijcai.org %K dblp %P 6415-6419 %T Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#BaoTPH023

@inproceedings{conf/ijcai/BaoTPH023, added-at = {2023-08-28T00:00:00.000+0200}, author = {Bao, Jialu and Trivedi, Nitesh and Pathak, Drashti and Hsu, Justin and Roy, Subhajit}, biburl = {https://www.bibsonomy.org/bibtex/205a230835164979fe7af9ab12be35075/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2023}, ee = {https://doi.org/10.24963/ijcai.2023/712}, interhash = {da31902dc7855e79f24bb8d18419833f}, intrahash = {05a230835164979fe7af9ab12be35075}, keywords = {dblp}, pages = {6415-6419}, publisher = {ijcai.org}, timestamp = {2024-04-10T01:46:02.000+0200}, title = {Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#BaoTPH023}, year = 2023 }