VeriPrune: Equivalence Verification of Node Pruned Neural Network

Paper Details

VeriPrune: Equivalence Verification of Node Pruned Neural Network

Authors

W. Wang, K. Wang, Z. Cheng, Y. Yang

Year

2024

Venue

Neurocomputing, 577, 127347

Type

Journal

Abstract

Abstract information will be added from the publication database. This detail page is prepared to present the paper problem, method, contribution, and evaluation evidence once the abstract is available.

Links