TY  - RPRT
TI  - Towards Verified Stochastic Variational Inference for Probabilistic Programs
AU  - Wonyeol Lee
AU  - Hangyeol Yu
AU  - Xavier Rival
AU  - Hongseok Yang
PY  - 2019
UR  - https://arxiv.org/abs/1907.08827
ID  - 1907.08827
ER  -