• Home
  • Search
  • DiffRNN: Differential Verification of Recurrent Neural Networks
  • Open Access IconOpen Access
  • Cite Icon13
  • https://doi.org/10.1007/978-3-030-85037-1_8Copy DOI Icon

DiffRNN: Differential Verification of Recurrent Neural Networks

  • Jan 1, 2021
  • Sara Mohammadinejad +3 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

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 controllers in autonomous systems. In practical settings, there is often a need to deploy such RNNs on resource-constrained platforms such as mobile phones or embedded devices. As the memory footprint and energy consumption of such components become a bottleneck, there is interest in compressing and optimizing such networks using a range of heuristic techniques. However, these techniques do not guarantee the safety of the optimized network, e.g., against adversarial inputs, or equivalence of the optimized and original networks. To address this problem, we propose DiffRNN, the first differential verification method for RNNs to certify the equivalence of two structurally similar neural networks. Existing work on differential verification for ReLU-based feed-forward neural networks does not apply to RNNs where nonlinear activation functions such as Sigmoid and Tanh cannot be avoided. RNNs also pose unique challenges such as handling sequential inputs, complex feedback structures, and interactions between the gates and states. In DiffRNN, we overcome these challenges by bounding nonlinear activation functions with linear constraints and then solving constrained optimization problems to compute tight bounding boxes on non-linear surfaces in a high-dimensional space. The soundness of these bounding boxes is then proved using the dReal SMT solver. We demonstrate the practical efficacy of our technique on a variety of benchmarks and show that DiffRNN outperforms state-of-the-art RNN verification tools such as Popqorn.

Similar Papers
  • Book Chapter
  • Citations1

Comprehensive Deep Recurrent Artificial Neural Network (CDRANN): Evolutionary Model for Future Prediction

  • Jan 01, 2022
  • G Sundar +1
  • Conference Article
  • Citations31

Gated Recurrent Neural Tensor Network

  • Jul 01, 2016
  • Andros Tjandra +4
  • Conference Article
  • Citations25

Bidirectional Quaternion Long Short-term Memory Recurrent Neural Networks for Speech Recognition

  • May 01, 2019
  • Titouan Parcollet +3
  • Supplementary Content

Recurrent neural networks: methods and applications to non-linear predictions

  • Jan 01, 2017
  • Politecnico di Torino
  • Alessandro Bay
  • PDF
  • Research Article
  • Citations43

Prediction of Wastewater Treatment Plant Effluent Water Quality Using Recurrent Neural Network (RNN) Models

  • Sep 22, 2023
  • Water
  • Praewa Wongburi +1
  • Research Article

Analysis and Prediction of Patterns in Futures Trading Datasets Using LSTM

  • Dec 31, 2018
  • Beom-Jin Park +3
  • Research Article

Deep Learning for Cyberattack Detection: A Comparative Analysis of Deep Neural Network (DNN), Long Short-Term Memory (LSTM), and Recurrent Neural Network (RNN)

  • Dec 29, 2025
  • Journal of Soft Computing and Artificial Intelligence
  • Gloria Odiaga +2
  • PDF
  • Research Article
  • Citations50

Iot-Based Privacy-Preserving Anomaly Detection Model for Smart Agriculture

  • Jun 13, 2023
  • Systems
  • Keerthi Kethineni +1
  • Research Article
  • Citations1

Deep Learning-Driven Customer Segmentation in Banking: A Comparative Analysis for Real-Time Decision Support

  • Aug 17, 2025
  • International Interdisciplinary Business Economics Advancement Journal
  • Md Sayem Khan +6
  • Book Chapter
  • Citations35

Study of Stock Return Predictions Using Recurrent Neural Networks with LSTM

  • Jan 01, 2019
  • Nagaraj Naik +1
  • Research Article
  • Citations84

Robust recurrent neural networks for time series forecasting

  • Jan 13, 2023
  • Neurocomputing
  • Xueli Zhang +4
  • Research Article
  • Citations38

Trajectory-level fog detection based on in-vehicle video camera with TensorFlow deep learning utilizing SHRP2 naturalistic driving data

  • May 11, 2020
  • Accident Analysis & Prevention
  • Md Nasim Khan +1
  • PDF
  • Research Article
  • Citations28

Wildfire Susceptibility Mapping Using Deep Learning Algorithms in Two Satellite Imagery Dataset

  • Jun 28, 2023
  • Forests
  • Nazanin Bahadori +6
  • Book Chapter
  • Citations1

Analysis of Influential Features with Spectral Features for Modeling Dialectal Variation in Malayalam Speech Using Deep Neural Networks

  • Jan 01, 2023
  • Rizwana Kallooravi Thandil +1
  • Conference Article
  • Citations1

Recurrent sub neural networks applied to speech recognition

  • Apr 13, 1994
  • Wei-Ying Li +3
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.