Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving.
Peixin WangTengshun YangHongfei FuGuanyan LiC.-H. Luke OngPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- posterior probability
- bayesian networks
- bayesian model selection
- posterior distribution
- probabilistic model
- markov chain monte carlo
- bayesian inference
- markov chain monte carlo methods
- probability distribution
- generative model
- belief networks
- probabilistic inference
- bayesian model
- inference process
- metropolis hastings algorithm
- conditional probabilities
- bayesian framework
- graphical models
- probabilistic reasoning
- prior probabilities
- variational inference
- exact inference
- programming language
- data driven
- bayesian models
- probabilistic networks
- bayesian learning
- uncertain data
- statistical inference
- decision theory
- logical inference
- bayesian reasoning
- probability density function
- probabilistic logic
- parameter estimation
- object oriented programming
- markov logic networks
- gaussian process
- dirichlet process
- random fields
- learning algorithm