Login / Signup
Wonryong Ryou
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Long Short Term Memory
Recurrent Neural Networks
Convex Sets
Signature Verification
Top Venues
CoRR
CAV (1)
</>
Publications
</>
Wonryong Ryou
,
Jiayu Chen
,
Mislav Balunovic
,
Gagandeep Singh
,
Andrei Marian Dan
,
Martin T. Vechev
Scalable Polyhedral Verification of Recurrent Neural Networks.
CAV (1)
(2021)
Wonryong Ryou
,
Jiayu Chen
,
Mislav Balunovic
,
Gagandeep Singh
,
Andrei Marian Dan
,
Martin T. Vechev
Fast and Effective Robustness Certification for Recurrent Neural Networks.
CoRR
(2020)