
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?
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?
The cost of inference is the primary barrier for wider application of probabilistic programming languages. How can we scale inference to truly huge programs?