\textsf{QEBVerif}: quantization error bound verification of neural networks
From MaRDI portal
Publication:6535546
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
Cites work
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks
- \textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks
- An abstraction-based framework for neural network verification
- An efficient query learning algorithm for ordered binary decision diagrams
- An SMT-based approach for verifying binarized neural networks
- Analyzing deep neural networks with symbolic propagation: towards higher precision and faster verification
- DiffRNN: differential verification of recurrent neural networks
- Formal verification of piece-wise linear feed-forward neural networks
- How many bits does it take to quantize your neural network?
- Improving neural network verification through spurious region guided refinement
- Introduction to Interval Analysis
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Safety verification of deep neural networks
- Star-based reachability analysis of deep neural networks
- Verification of deep convolutional neural networks using ImageStars
- Verifying binarized neural networks by Angluin-style learning
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)
