Towards verified stochastic variational inference for probabilistic programs
2018 ◽
Vol 33
(5)
◽
pp. 1007-1022
Keyword(s):
2020 ◽
Vol 13
(4)
◽
pp. 333-345
2015 ◽
Vol 27
(1)
◽
pp. 237-257
◽
2020 ◽
Vol 34
(04)
◽
pp. 4477-4484