DiffRNN: differential verification of recurrent neural networks
From MaRDI portal
Publication:832044
DOI10.1007/978-3-030-85037-1_8OpenAlexW3197827783MaRDI QIDQ832044FDOQ832044
Authors: Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang 
Publication date: 24 March 2022
Full work available at URL: https://arxiv.org/abs/2007.10135
recurrent neural networksdifferential verificationcompression techniquesresource-constrained platforms
Cites Work
- dReal: an SMT solver for nonlinear theories over the reals
- Introduction to Interval Analysis
- Differential evolution. A practical approach to global optimization. With CD-ROM.
- Safety verification of deep neural networks
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Formal verification of piece-wise linear feed-forward neural networks
- DeepSafe: a data-driven approach for assessing robustness of neural networks
Cited In (5)
- DiffRNN
- Example Guided Synthesis of Linear Approximations for Neural Network Verification
- \textsf{QEBVerif}: quantization error bound verification of neural networks
- Certifying the fairness of KNN in the presence of dataset bias
- LinSyn: synthesizing tight linear bounds for arbitrary neural network activation functions
Uses Software
This page was built for publication: DiffRNN: differential verification of recurrent neural networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832044)
