FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: