TY  - RPRT
TI  - DiffRNN: Differential Verification of Recurrent Neural Networks
AU  - Sara Mohammadinejad
AU  - Brandon Paulsen
AU  - Chao Wang
AU  - Jyotirmoy V. Deshmukh
PY  - 2020
UR  - https://arxiv.org/abs/2007.10135
ID  - 2007.10135
ER  -