Shared Certificates for Neural Network Verification
Authors: Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh and Martin Vechev
Paper Information
Title: | Shared Certificates for Neural Network Verification |
Authors: | Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh and Martin Vechev |
Proceedings: | CAV 2022 All Papers |
Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
Keywords: | neural network verification, local verification, adversarial robustness |
Pages: | 21 |
Talk: | Aug 07 14:00 (Session 90A: Formal Methods for Neural Networks) |
Paper: |