A variant of VAEs that takes multiple samples when computing the Evidence Lower Bound (ELBO), obtaining a tighter bound.