VeriPrune: Equivalence verification of node pruned neural network

Weiru Wang,Kai Wang,Zhiyang Cheng,Yilong Yang
DOI: https://doi.org/10.1016/j.neucom.2024.127347
IF: 6
2024-02-03
Neurocomputing
Abstract:Neural network compression is widely used technique when deploying the neural network in the energy-constrained and computation-constrained devices. To guarantee the compressed neural network is still usable without too much accuracy loss, the equivalence between the compressed networks and the original ones must be verified. However, current verification approach can only verify the equivalence of the two neural networks in the same structure that is limited and unseen in the real world scenarios. In this paper, we proposed a equivalence verification method named VeriPrune, which can verify the equivalence of the deep neural networks without the structure limitation. In details, we proposed an innovative virtual node completing method to solve the problem that node pruning causes the structure change and invalidates the existing equivalence verification approaches. To demonstrate the feasibility and efficiency of the proposed approach, we conducted the experiments on the public dataset with 49 DNNs and 1272 properties. The results show that the 83.9% properties, the 1067 of the total 1272 properties can be verified under the time limit of 1800 s. The proposed VeriPrune can be further developed as a CASE tools for the industry settings.
computer science, artificial intelligence
What problem does this paper attempt to address?