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.

Direct Link