λPSI: exact inference for higher-order probabilistic programs.
Timon GehrSamuel SteffenMartin T. VechevPublished in: PLDI (2020)
Keyphrases
- exact inference
- higher order
- bayesian networks
- belief networks
- graphical models
- approximate inference
- conditional random fields
- probabilistic inference
- probabilistic model
- inference in bayesian networks
- high order
- belief propagation
- latent variables
- structured prediction
- dynamic bayesian networks
- pairwise
- conditional probabilities
- posterior probability
- generative model
- approximation algorithms
- markov random field
- conditional independence
- structure learning
- message passing
- parameter estimation
- random variables
- gaussian process
- neural network