Scalable Polyhedral Verification of Recurrent Neural Networks.

Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Marian Dan, Martin T. Vechev

Browse the full CAV paper archive.