Denotational validation of higher-order Bayesian inference.
Adam ScibiorOhad KammarMatthijs VákárSam StatonHongseok YangYufei CaiKlaus OstermannSean K. MossChris HeunenZoubin GhahramaniPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- bayesian inference
- higher order
- probabilistic model
- prior information
- hyperparameters
- pairwise
- statistical inference
- bayesian model
- operational semantics
- high order
- markov random field
- variational bayes
- variational inference
- hierarchical bayesian
- particle filter
- hidden variables
- inference process
- markov networks
- markov chain monte carlo
- conditional random fields
- probabilistic modeling
- bayesian models
- weighted model counting
- prior distribution
- learning algorithm