Towards Verified Stochastic Variational Inference for Probabilistic Programs

20 July 2019

Papers citing "Towards Verified Stochastic Variational Inference for Probabilistic Programs"

3 / 3 papers shown

Title
A Heavy-Tailed Algebra for Probabilistic Programming Feynman T. Liang Liam Hodgkinson Michael W. Mahoney 23 3 0 15 Jun 2023
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs Alexander K. Lew Mathieu Huot S. Staton Vikash K. Mansinghka 22 20 0 13 Dec 2022
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference Wonyeol Lee Xavier Rival Hongseok Yang 24 9 0 22 Aug 2022