Filters








1 Hit in 1.3 sec

DiffRNN: Differential Verification of Recurrent Neural Networks [article]

Sara Mohammadinejad, Brandon Paulsen, Chao Wang, Jyotirmoy V. Deshmukh
2020 arXiv   pre-print
To address this problem, we propose DIFFRNN, the first differential verification method for RNNs to certify the equivalence of two structurally similar neural networks.  ...  Recurrent neural networks (RNNs) such as Long Short Term Memory (LSTM) networks have become popular in a variety of applications such as image processing, data classification, speech recognition, and as  ...  verification of two closely related recurrent neural networks.  ... 
arXiv:2007.10135v1 fatcat:f5se22tlvje6ppgo2chdxjmmgq