Follow
Wonryong Ryou
Wonryong Ryou
Machine Learning Engineer
Verified email at quora.com
Title
Cited by
Cited by
Year
Scalable Polyhedral Verification of Recurrent Neural Networks
W Ryou, J Chen, M Balunovic, G Singh, A Dan, M Vechev
Computer Aided Verification 12759, 2021
55*2021
Prediction of atomic configuration in binary nanoparticles by genetic algorithm
JS Oh, WR Ryou, SC Lee, JH Choi
Journal of the Korean Ceramic Society 48 (6), 493-498, 2011
32011
Certifying Neural Network Audio Classifiers
W Ryou, M Balunovic, G Singh, M Vechev
The system can't perform the operation now. Try again later.
Articles 1–3