TY  - RPRT
TI  - Scalable Polyhedral Verification of Recurrent Neural Networks
AU  - Wonryong Ryou
AU  - Jiayu Chen
AU  - Mislav Balunovic
AU  - Gagandeep Singh
AU  - Andrei Dan
AU  - Martin Vechev
PY  - 2021
UR  - https://arxiv.org/abs/2005.13300
ID  - 2005.13300
ER  -