Decision-guided weighted automata extraction from recurrent neural networks

by ZHANG, Xiyue, DU, Xiaoning, XIE, Xiaofei, MA, Lei, LIU, Yang, SUN, Meng
Published 2021

Safe inputs approximation for black-box systems

by XUE, Bai, LIU, Yang, MA, Lei, ZHANG, Xiyue, SUN, Meng, XIE, Xiaofei
Published 2019

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty

by ZHANG, Xiyue, XIE, Xiaofei, MA, Lei, DU, Xiaoning, HU, Qiang, LIU, Yang, ZHAO, Jianjun, SUN, Meng
Published 2020