Scalable Polyhedral Verification of Recurrent Neural Networks - Ryou, Wonryong (2021)