conftrace_

unbiased gradient estimation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

proof assistant (1) deep latent variable model (1) stochastic computation graph (1) multilevel monte carlo (1) evidence lower bound (1) variational autoencoder (1) importance sampling (1) formal verification (1) variational inference (1)

Papers

On Multilevel Monte Carlo Unbiased Gradient Estimation for Deep Latent Variable Models AISTATS 2021 Developing Bug-Free Machine Learning Systems With Formal Mathematics ICML 2017