Exact Symbolic Inference in Probabilistic Programs via Sum-Product Representations.
Feras A. SaadMartin C. RinardVikash K. MansinghkaPublished in: CoRR (2020)
Keyphrases
- sum product
- message passing
- max product
- belief propagation
- symbolic representation
- bayesian networks
- probabilistic model
- graphical models
- graph cuts
- belief networks
- loopy belief propagation
- probabilistic inference
- markov random field
- np hard
- constraint programming
- generative model
- approximate inference
- markov chain
- linear programming relaxation
- junction tree
- distributed systems
- special case
- high resolution