Efficient verification of neural networks based on neuron branching and LP abstraction. - Liang Zhao 021; Xinmin Duan; Chenglong Yang; Yuehao Liu; Yansong Dong; Xiaobing Wang; Wensheng Wang (Neurocomputing, 2024)