SPPL: probabilistic programming with fast exact symbolic inference.
Feras A. SaadMartin C. RinardVikash K. MansinghkaPublished in: PLDI (2021)
Keyphrases
- bayesian networks
- inference process
- belief networks
- probabilistic reasoning
- bayesian reasoning
- programming language
- probabilistic model
- logical inference
- generative model
- probabilistic networks
- probabilistic modeling
- information theoretic
- uncertain data
- probabilistic logic
- bayes nets
- programming course
- symbolic description
- probabilistic inference
- posterior probability
- data driven
- exact and approximate
- statistical relational learning
- graphical models
- variable elimination
- general purpose
- inference engine
- bayesian model
- efficient learning
- factor graphs
- symbolic data
- high level
- neural network
- data sets