Incremental precision-preserving symbolic inference for probabilistic programs.
Jieyuan ZhangJingling XuePublished in: PLDI (2019)
Keyphrases
- bayesian networks
- belief networks
- inference process
- probabilistic reasoning
- bayesian reasoning
- probabilistic networks
- probabilistic inference
- uncertain data
- data driven
- bayes nets
- intermediate level
- probabilistic model
- high level
- probabilistic modeling
- logical inference
- high precision
- image details
- average precision
- generative model
- incremental version
- probabilistic logic
- independence assumption
- bayesian model
- neural network
- efficient learning
- probability theory
- symbolic representation
- inference engine
- bayesian inference
- conditional probabilities
- first order logic