Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference

Wonyeol Lee, Xavier Rival, Hongseok Yang

We present a static analysis for discovering differentiable or more generally smooth parts of a given probabilistic program, and show how the analysis can be used to improve the pa…