A dual boundary robust verification method for neural networks. - Yueyue Yang; Qun Fang; Yajing Tang; Yuchen Feng; Yihui Yan; Yong Xu (J. Supercomput., 2024)