Expediting Neural Network Verification via Network Reduction

Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo

A wide range of verification methods have been proposed to verify the safety properties of deep neural networks ensuring that the networks function correctly in critical applicatio…