Scalable Polyhedral Verification of Recurrent Neural Networks

Published in CAV, 2021

Recommended citation: Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Dan, Martin Vechev, CAV 2021. https://link.springer.com/chapter/10.1007/978-3-030-81685-8_10