Login / Signup
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