DiffRNN: differential verification of recurrent neural networks
From MaRDI portal
Publication:832044
DOI10.1007/978-3-030-85037-1_8OpenAlexW3197827783MaRDI QIDQ832044
Jyotirmoy V. Deshmukh, Sara Mohammadinejad, Brandon Paulsen, 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
Related Items (1)
Uses Software
Cites Work
- 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
- Introduction to Interval Analysis
- dReal: An SMT Solver for Nonlinear Theories over the Reals
- Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
- DeepSafe: a data-driven approach for assessing robustness of neural networks
This page was built for publication: DiffRNN: differential verification of recurrent neural networks
