Fingerprint
Dive into the research topics of 'Scalable Polyhedral Verification of Recurrent Neural Networks'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Scalable Polyhedral Verification of Recurrent Neural Networks
Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Dan, Martin Vechev
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution