Towards verified stochastic variational inference for probabilistic programs.
Wonyeol LeeHangyeol YuXavier RivalHongseok YangPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- variational inference
- probabilistic model
- bayesian inference
- factor graphs
- topic models
- posterior distribution
- bayesian networks
- variational methods
- mixture model
- closed form
- generative model
- latent dirichlet allocation
- gaussian process
- posterior probability
- probabilistic graphical models
- latent variables
- exact inference
- information theoretic
- exponential family
- language model
- conditional probabilities
- belief networks
- prior information
- approximate inference
- machine learning