Shared Certificates for Neural Network Verification
From MaRDI portal
Publication:6487315
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
Cites work
Cited in
(7)- Brief Announcement
- Scalable polyhedral verification of recurrent neural networks
- T4V: exploring neural network architectures that improve the scalability of neural network verification
- Robustness Verification for Classifier Ensembles
- Verifying Neural Networks Against Backdoor Attacks
- \textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks
- Exploiting verified neural networks via floating point numerical error
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)