Robustness Verification of Recurrent Neural Networks with Abstraction Refinement

Li-Jen Lin, Chih-Duo Hong

Certified local robustness verification for recurrent neural networks (RNNs) is challenging because approximation errors introduced by nonlinear relaxations can propagate through r…