A Pre-expectation Calculus for Probabilistic Sensitivity
Sensitivity properties study how the output of a program changes when we make small changes to its input. How can we reason about sensitivity of programs that have probabilistic behavior?
Archive of posts tagged: probabilistic programming
Scaling Exact Inference for Discrete Probabilistic Programs
The cost of inference is the primary barrier for wider application of probabilistic programming languages. How can we scale inference to truly huge programs?
