Harnessing Neuron Stability to Improve DNN Verification

Hai Duong, Dong Xu, ThanhVu Nguyen +1

Deep Neural Networks (DNN) have emerged as an effective approach to tackling real-world problems. However, like human-written software, DNNs are susceptible to bugs and attacks. Th…