User-guided program reasoning using Bayesian inference.
Mukund RaghothamanSulekha KulkarniKihong HeoMayur NaikPublished in: PLDI (2018)
Keyphrases
- bayesian inference
- probabilistic model
- hyperparameters
- bayesian model
- prior information
- inference process
- statistical inference
- hierarchical bayesian
- variational inference
- weighted model counting
- variational bayes
- probabilistic modeling
- particle filter
- prior distribution
- expectation propagation
- bayesian models
- graphical models
- hidden variables
- gibbs sampler
- knowledge representation
- markov chain monte carlo
- sample size
- maximum likelihood