Shared Certificates for Neural Network Verification

DOI10.1007/978-3-031-13185-1_7zbMATH Open1514.68131MaRDI QIDQ6487315FDOQ6487315

Authors: Marc Fischer, Gagandeep Singh, Martin Vechev 

Publication date: 7 December 2022

Recommendations

• Branch and bound for piecewise linear neural network verification
• Scalable polyhedral verification of recurrent neural networks
• Formal verification of piece-wise linear feed-forward neural networks
• Exploiting verified neural networks via floating point numerical error
• Advances in verification of ReLU neural networks

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• SAT-Based Model Checking without Unrolling
• Grammar Analysis and Parsing by Abstract Interpretation
• A zonotopic framework for functional abstractions
• Reluplex: an efficient SMT solver for verifying deep neural networks

Cited In (7)

• Scalable polyhedral verification of recurrent neural networks
• Brief Announcement
• Exploiting verified neural networks via floating point numerical error
• Robustness Verification for Classifier Ensembles
• Verifying Neural Networks Against Backdoor Attacks
• \textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks
• T4V: exploring neural network architectures that improve the scalability of neural network verification

This page was built for publication: Shared Certificates for Neural Network Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487315)