DiffRNN: Differential Verification of Recurrent Neural Networks

Open in new window