AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance.

Fei Zheng, Qingguo Xu, Zhou Lei, Huaikou Miao

Browse the full ICECCS paper archive.