Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring.
Ryan CulpepperAndrew CobbPublished in: ESOP (2017)
Keyphrases
- random variables
- bayesian networks
- conditional probabilities
- graphical models
- probability distribution
- continuous variables
- conditionally independent
- probabilistic model
- joint distribution
- conditional independence
- latent variables
- stochastic optimization problems
- contextual information
- joint probability distributions
- failure rate
- normal distribution
- posterior probability
- conditional probability distributions
- marginal distributions
- conditional distribution
- joint probability distribution
- lead time
- probabilistic inference
- distribution function
- random vectors
- probability density
- belief networks
- latent variable models
- control system
- directed acyclic graph
- generative model
- belief propagation
- test statistic
- independent and identically distributed