mlsanityData to 7 Oct 2026

Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation

arXiv 2402.11737 ↗First posted 18 Feb 2024cs.LG cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

In this paper, we propose a method of repairing compressed Feedforward Neural Networks (FNNs) based on equivalence evaluation of two neural networks. In the repairing framework, a novel neural network equivalence evaluation method is developed to compute the output discrepancy between two neural networks. The output discrepancy can quantitatively characterize the output difference produced by compression procedures. Based on the computed output discrepancy, the repairing method first initializes a new training set for the compressed networks to narrow down the discrepancy between the two neural networks and improve the performance of the compressed network. Then, we repair the compressed FNN by re-training based on the training set. We apply our developed method to the MNIST dataset to demonstrate the effectiveness and advantages of our proposed repair method.

Key facts. No citing papers in the map yet (data through 7 Oct 2026). Builds on 15 of its 28 references that are in the map. First posted on arXiv 18 Feb 2024.

Builds on

15 of 28 references.

References · 15

  1. 2017A Survey on Deep Learning in Medical Image Analysiscited by 1,182
  2. 2014Deep Learning in Neural Networks: An Overviewcited by 765
  3. 2017Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networkscited by 739
  4. 2018Quantizing deep convolutional networks for efficient inference: A whitepapercited by 507
  5. 2017Incremental Network Quantization: Towards Lossless CNNs with Low-Precision Weightscited by 211
  6. 2020The Computational Limits of Deep Learningcited by 188
  7. 2016Designing Energy-Efficient Convolutional Neural Networks using Energy-Aware Pruningcited by 133
  8. 2020NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systemscited by 128
  9. 2017Output Reachable Set Estimation and Verification for Multi-Layer Neural Networkscited by 79
  10. 2020Verification of Deep Convolutional Neural Networks Using ImageStarscited by 75
  11. 2020Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approachcited by 36
  12. 2019DeepCABAC: A Universal Compression Algorithm for Deep Neural Networkscited by 26
3 more
  1. 2018Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllerscited by 15
  2. 2022Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopescited by 5
  3. 2022Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compressioncited by 3

Built on by

Not cited yet.