ML Anthology

Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract)

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
IJCAI 2023 pp. 6415-6419
doi:10.24963/IJCAI.2023/712 /ijcai/2023/bao2023ijcai-data/
PDF IJCAI Semantic Scholar

Cite

Text

Bao et al. "Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/712

Markdown

[Bao et al. "Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/bao2023ijcai-data/) doi:10.24963/IJCAI.2023/712

BibTeX

@inproceedings{bao2023ijcai-data,
  title     = {{Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract)}},
  author    = {Bao, Jialu and Trivedi, Nitesh and Pathak, Drashti and Hsu, Justin and Roy, Subhajit},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {6415-6419},
  doi       = {10.24963/IJCAI.2023/712},
  url       = {https://mlanthology.org/ijcai/2023/bao2023ijcai-data/}
}