An SMT-based approach for verifying binarized neural networks
From MaRDI portal
Publication:2233508
DOI10.1007/978-3-030-72013-1_11zbMath1474.68188arXiv2011.02948OpenAlexW3140205966MaRDI QIDQ2233508
Guy Katz, Clark Barrett, Guy Amir, Haoze Wu
Publication date: 18 October 2021
Full work available at URL: https://arxiv.org/abs/2011.02948
Artificial neural networks and deep learning (68T07) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
\textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks, On neural network equivalence checking using SMT solvers, Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Safety verification of deep neural networks
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Verification of deep convolutional neural networks using ImageStars
- An abstraction-based framework for neural network verification
- Satisfiability Modulo Theories
- Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
- How Many Bits Does it Take to Quantize Your Neural Network?
- DeepSafe: a data-driven approach for assessing robustness of neural networks