Sound Abstraction and Decomposition of Probabilistic Programs

Sound Abstraction and Decomposition of Probabilistic Programs (bibtex)

by Steven Holtzen, Guy Van den Broeck and Todd Millstein

Reference:

Steven Holtzen, Guy Van den Broeck and Todd Millstein. Sound Abstraction and Decomposition of Probabilistic Programs, In Proceedings of the 35th International Conference on Machine Learning (ICML), 2018.

Bibtex Entry:

@inproceedings{HoltzenICML18,
  author = {Holtzen, Steven and Van den Broeck, Guy and Millstein, Todd},
  title={Sound Abstraction and Decomposition of Probabilistic Programs},
  booktitle = {Proceedings of the 35th International Conference on Machine Learning (ICML)},
  url = "http://starai.cs.ucla.edu/papers/HoltzenICML18.pdf",
  slides    = "http://starai.cs.ucla.edu/slides/ICML18-abstraction.pdf",
  month = jul,
  year={2018},
  keywords={conference,selective}
}

PDF Preview: