\textsf{QEBVerif}: quantization error bound verification of neural networks
From MaRDI portal
Publication:6535546
DOI10.1007/978-3-031-37703-7_20zbMATH Open1545.68078MaRDI QIDQ6535546FDOQ6535546
Authors: Yedi Zhang, Fu Song, Jun Sun 
Publication date: 12 January 2024
Recommendations
- Formal verification for quantized neural networks
- How many bits does it take to quantize your neural network?
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks
- Verifying low-dimensional input neural networks via input quantization
- Post-training Quantization for Neural Networks with Provable Guarantees
Artificial neural networks and deep learning (68T07) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Introduction to Interval Analysis
- An efficient query learning algorithm for ordered binary decision diagrams
- Improving neural network verification through spurious region guided refinement
- Safety verification of deep neural networks
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Verifying binarized neural networks by Angluin-style learning
- Verification of deep convolutional neural networks using ImageStars
- An abstraction-based framework for neural network verification
- An SMT-based approach for verifying binarized neural networks
- Formal verification of piece-wise linear feed-forward neural networks
- How many bits does it take to quantize your neural network?
- DiffRNN: differential verification of recurrent neural networks
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks
- \textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks
- Star-based reachability analysis of deep neural networks
- Analyzing deep neural networks with symbolic propagation: towards higher precision and faster verification
Cited In (1)
This page was built for publication: \textsf{QEBVerif}: quantization error bound verification of neural networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535546)
