\textsf{QEBVerif}: quantization error bound verification of neural networks
From MaRDI portal
Publication:6535546
DOI10.1007/978-3-031-37703-7_20zbMATH Open1545.68078MaRDI QIDQ6535546
Publication date: 12 January 2024
Artificial neural networks and deep learning (68T07) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- DiffRNN: differential verification of recurrent neural networks
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks
- 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
- An efficient query learning algorithm for ordered binary decision diagrams
- Introduction to Interval Analysis
- Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
- How Many Bits Does it Take to Quantize Your Neural Network?
- \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
This page was built for publication: \textsf{QEBVerif}: quantization error bound verification of neural networks
