Continuously reasoning about programs using differential Bayesian inference.
Kihong HeoMukund RaghothamanXujie SiMayur NaikPublished in: PLDI (2019)
Keyphrases
- bayesian inference
- probabilistic model
- prior information
- bayesian model
- hyperparameters
- variational inference
- statistical inference
- weighted model counting
- gibbs sampler
- hidden variables
- hierarchical bayesian
- markov networks
- probabilistic modeling
- variational bayes
- bayesian models
- markov chain monte carlo
- inference process
- particle filter
- variational approximation
- closed form
- expectation propagation
- graphical models