Probabilistic Conditional System Invariant Generation with Bayesian Inference.
Meriel SteinSebastian G. ElbaumLu FengShili ShengPublished in: CoRR (2020)
Keyphrases
- bayesian inference
- probabilistic model
- hierarchical bayesian
- inference process
- probabilistic modeling
- conditional probabilities
- bayesian model
- hyperparameters
- prior information
- variational inference
- statistical inference
- bayesian networks
- weighted model counting
- generative model
- variational bayes
- latent variables
- particle filter
- graphical models
- mixture model
- markov networks
- hidden variables
- learning algorithm
- markov chain monte carlo
- em algorithm
- probabilistic logic programs
- gibbs sampler
- expectation maximization
- posterior probability
- probabilistic inference
- belief networks