Towards verified stochastic variational inference for probabilistic programs
Towards verified stochastic variational inference for probabilistic programs
Probabilistic programming is the idea of writing models from statistics and machine learning using program notations and reasoning about these models using generic inference engines. Recently its combination with deep learning has been explored intensely, which led to the development of so called deep probabilistic programming languages, such as Pyro, …