Shared Certificates for Neural Network Verification
From MaRDI portal
Publication:6487315
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
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
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)