Towards Verified Stochastic Variational Inference for Probabilistic Programs

Wonyeol Lee, Hangyeol Yu, Xavier Rival +1

Probabilistic programming is the idea of writing models from statistics and machine learning using program notations and reasoning about these models using generic inference engine…