Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring.

Ryan Culpepper Andrew Cobb

Published 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