MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression

Jingyang Li, Guoqiang Li

The rapid development of deep learning has led to challenges in deploying neural networks on edge devices, mainly due to their high memory and runtime complexity. Network compressi…