Tag2Pix: Line Art Colorization Using Text Tag With SECat and Changing Loss. - Hyunsu Kim; Ho Young Jhoo; Eunhyeok Park; Sungjoo Yoo (ICCV, 2019)

SMT-Based Translation Validation for Machine Learning Compiler. - Seongwon Bang; Seunghyeon Nam; Inwhan Chun; Ho Young Jhoo; Juneyoung Lee (CAV (2), 2022)

A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code. - Ho Young Jhoo; Sehoon Kim; Woosung Song; Kyuyeon Park; DongKwon Lee; Kwangkeun Yi (ICSE-Companion, 2022)