Chou, Yu-ChengYu-ChengChouHSUAN-TIEN LIN2020-05-042020-05-042014https://scholars.lib.ntu.edu.tw/handle/123456789/488539[SDGs]SDG17Machine Learning Approaches for Interactive Verification.conference paper10.1007/978-3-319-06605-9_11https://doi.org/10.1007/978-3-319-06605-9_11