conf.researchr.org / Seunghyun Chae
Registered user since Mon 6 Apr 2026
Name:Seunghyun Chae
Country:South Korea
Affiliation:Pohang University of Science and Technology (POSTECH)
Research interests:Neural network verification, Formal methods
Contributions