Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis.

Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska

Browse the full ECAI paper archive.