15 citations · 30 across the 4 of their papers we have counts for
1 paper · 1 filter
Matthew Mirman, Timon Gehr, Martin Vechev
Generative neural networks can be used to specify continuous transformations between images via latent-space interpolation. However, certifying that all images captured by the resu…