Verification of recurrent neural networks for cognitive tasks via reachability analysis

Recurrent Neural Networks (RNNs) are one of the most successful neural network architectures that deal with temporal sequences, eg, speech and text recognition. Recently, RNNs have been shown to be useful in cognitive neuroscience as a model of decisionmaking. RNNs can be trained to solve the same behavioral tasks performed by humans and ...More