Sound Abstraction and Decomposition of Probabilistic Programs.
Steven HoltzenGuy Van den BroeckTodd D. MillsteinPublished in: ICML (2018)
Keyphrases
- bayesian networks
- hardware designs
- probabilistic model
- high level
- decomposition method
- generative model
- belief networks
- decomposition methods
- probabilistic approaches
- decision theoretic planning
- machine learning
- wavelet transform
- data driven
- low level
- uncertain data
- computer programs
- multiscale
- probabilistic logic
- automatic programming
- provably correct