05/04/2021

Scaling Polyhedral Neural Network Verification on GPUs

Christoph Müller , François Serre, Gagandeep Singh, Markus Püschel, Martin Vechev

Keywords:

Abstract Paper Similar Papers

Abstract: Certifying the robustness of neural networks against adversarial attacks is critical to their reliable adoption in real-world systems including autonomous driving and medical diagnosis. Unfortunately, state-of-the-art verifiers either do not scale to larger networks or are too imprecise to prove robustness, which limits their practical adoption. In this work, we introduce GPUPoly, a scalable verifier that can prove the robustness of significantly larger deep neural networks than possible with prior work. The key insight behind GPUPoly is the design of custom, sound polyhedra algorithms for neural network verification on a GPU. Our algorithms leverage the available GPU parallelism and the inherent sparsity of the underlying verification task. GPUPoly scales to very large networks: for example, it can prove the robustness of a 1M neuron, 34-layer deep residual network in $\approx$ 22 seconds. We believe GPUPoly is a promising step towards the practical verification of large real-world networks.

The video of this talk cannot be embedded. You can watch it here:
https://slideslive.com/38952720
(Link will open in new window)
 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at MLSYS 2021 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 16:58 
 0
 0
 0
 0
 3:20 
 0
 0
 0
 0
 4:52 
 0
 0
 0
 0
 5:08 
 0
 0
 0
 0
 15:55 
 0
 0
 0
 0
 11:02 
 0
 0
 0
 0
 5:10 
 0
 0
 0
 0
 3:23 
 0
 0
 0
 0
 5:11 
 0
 0
 0
 0
 16:38 
 0
 0
 0
 0
 5:09 
 0
 1
 0
 0
 11:54 
 0
 0
 0
 0
 1:01 
 0
 0
 0
 0
 15:01 
 0
 0
 0
 0
 15:57 
 0
 0
 0
 0
 11:18 
 0
 0
 0
 0
 3:02 
 0
 0
 0
 0
 16:25 
 0
 0
 0
 0
 3:09 
 0
 0
 0
 0
 5:15 
 0
 0
 0
 0
 4:58 
 0
 0
 0
 0
 14:35 
 0
 0
 0
 0
 15:02 
 0
 0
 0
 0
 4:43 
 0
 0
 0
 0
 14:16 
 0
 0
 0
 0
 3:16 
 0
 0
 0
 0
 5:07 
 0
 0
 0
 0
 4:43 
 0
 0
 0
 0
 5:01 
 0
 0
 0
 0
 3:22 
 0
 0
 0
 0
 17:07 
 0
 0
 0
 0
 16:56 
 0
 0
 0
 0
 4:07 
 0
 0
 0
 0
 11:31 
 0
 0
 0
 0
 12:35 
 0
 0
 0
 0
 3:28 
 0
 0
 0
 0
 14:35 
 0
 0
 0
 0
 5:03 
 0
 0
 0
 0
 13:21