Verifying Handcoded Probabilistic Inference Procedures.
Eric AtkinsonCambridge YangMichael CarbinPublished in: CoRR (2018)
Keyphrases
- probabilistic inference
- graphical models
- bayesian networks
- belief networks
- weighted model counting
- approximate inference
- conditional probabilities
- message passing
- influence diagrams
- probabilistic reasoning
- bayesian belief networks
- context specific independence
- efficient inference
- bucket elimination
- variable elimination
- exact inference
- elimination algorithm
- probabilistic model
- data sets
- junction tree
- neural network