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
45*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, 2011
32011
Certifying Neural Network Audio Classifiers
W Ryou, M Balunovic, G Singh, M Vechev
2019
The system can't perform the operation now. Try again later.
Articles 1–3