1k citations · 2.4k across the 12 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LG2020★ 14 cited
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin +8
Convex relaxations have emerged as a promising approach for verifying desirable properties of neural networks like robustness to adversarial perturbations. Widely used Linear Progr…
cs.CV2020★ 10 cited
Creating High Resolution Images with a Latent Adversarial Generator
David Berthelot, Peyman Milanfar, Ian Goodfellow
Generating realistic images is difficult, and many formulations for this task have been proposed recently. If we restrict the task to that of generating a particular class of image…