Lossless Compression of Deep Neural Networks
Not on the map. Why?
Abstract (arXiv)
Deep neural networks have been successful in many predictive modeling tasks, such as image and language recognition, where large neural networks are often used to obtain good accuracy. Consequently, it is challenging to deploy these networks under limited computational resources, such as in mobile devices. In this work, we introduce an algorithm that removes units and layers of a neural network while not changing the output that is produced, which thus implies a lossless compression. This algorithm, which we denote as LEO (Lossless Expressiveness Optimization), relies on Mixed-Integer Linear Programming (MILP) to identify Rectified Linear Units (ReLUs) with linear behavior over the input domain. By using L1 regularization to induce such behavior, we can benefit from training over a larger architecture than we would later use in the environment where the trained neural network is deployed.
Key facts. Cited by 34 papers in the map (data through 7 Oct 2026). First posted on arXiv 1 Jan 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 9; 2022: 13; 2023: 6; 2024: 3; 2025: 2; 2026: 1.
34 papers.
Sort:
- 2021Towards Lower Bounds on the Depth of ReLU Neural Networkscited by 55
- 2022The Combinatorial Brain Surgeon: Pruning Weights That Cancel One Another in Neural Networkscited by 41
- 2021Partition-based formulations for mixed-integer optimization of trained ReLU neural networkscited by 39
- 2023When Deep Learning Meets Polyhedral Theory: A Surveycited by 39
- 2022OMLT: Optimization & Machine Learning Toolkitcited by 34
- 2022Pruning's Effect on Generalization Through the Lens of Training and Regularizationcited by 31
- 2021Parameter identifiability of a deep feedforward ReLU neural networkcited by 24
- 2021Scaling Up Exact Neural Network Compression by ReLU Stabilitycited by 19
- 2021On the Expected Complexity of Maxout Networkscited by 15
- 2021Between steps: Intermediate relaxations between big-M and convex hull formulationscited by 11
- 2022Optimizing Objective Functions from Trained ReLU Neural Networks via Samplingcited by 11
- 2024Optimization Over Trained Neural Networks: Taking a Relaxing Walkcited by 10
22 more
- 2022Recall Distortion in Neural Network Pruning and the Undecayed Pruning Algorithmcited by 9
- 2023Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regionscited by 8
- 2021Universal approximation and model compression for radial neural networkscited by 7
- 2022P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraintscited by 7
- 2023Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networkscited by 6
- 2022Deep Neural Networks pruning via the Structured Perspective Regularizationcited by 4
- 2022Quiver neural networkscited by 4
- 2024Free Lunch in the Forest: Functionally-Identical Pruning of Boosted Tree Ensemblescited by 4
- 2021On the Impact of Stable Ranks in Deep Netscited by 3
- 2022Training Thinner and Deeper Neural Networks: Jumpstart Regularizationcited by 3
- 2025Test-Time Steering for Lossless Text Compression via Weighted Product of Expertscited by 3
- 2022The Effect of Data Dimensionality on Neural Network Prunabilitycited by 2
- 2023Model-based feature selection for neural networks: A mixed-integer programming approachcited by 2
- 2021Optimizing over an ensemble of neural networkscited by 1
- 2022Support Vector Machines with the Hard-Margin Loss: Optimal Training via Combinatorial Benders' Cutscited by 1
- 2022Multi-Objective Linear Ensembles for Robust and Sparse Training of Few-Bit Neural Networkscited by 1
- 2023Learning Prescriptive ReLU Networkscited by 1
- 2022Towards Global Neural Network Abstractions with Locally-Exact Reconstructioncited by 0
- 2023Proximity to Losslessly Compressible Parameterscited by 0
- 2024Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activationscited by 0
- 2025Optimization over Trained (and Sparse) Neural Networks: A Surrogate within a Surrogatecited by 0
- 2026Fast SDP certification of neural networks : towards large multi-class datasetscited by 0
- 2026Fast SDP certification of neural networks : towards large multi-class datasets3 Jul 2026
- 2025Test-Time Steering for Lossless Text Compression via Weighted Product of Experts4 Nov 2025
- 2025Optimization over Trained (and Sparse) Neural Networks: A Surrogate within a Surrogate4 May 2025
- 2024Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activations30 Oct 2024
- 2024Free Lunch in the Forest: Functionally-Identical Pruning of Boosted Tree Ensembles28 Aug 2024
- 2024Optimization Over Trained Neural Networks: Taking a Relaxing Walk7 Jan 2024
- 2023Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks27 Dec 2023
- 2023Proximity to Losslessly Compressible Parameters5 Jun 2023
- 2023Learning Prescriptive ReLU Networks1 Jun 2023
- 2023When Deep Learning Meets Polyhedral Theory: A Survey29 Apr 2023
- 2023Model-based feature selection for neural networks: A mixed-integer programming approach20 Feb 2023
- 2023Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions19 Jan 2023
22 more
- 2022Multi-Objective Linear Ensembles for Robust and Sparse Training of Few-Bit Neural Networks7 Dec 2022
- 2022The Effect of Data Dimensionality on Neural Network Prunability1 Dec 2022
- 2022Pruning's Effect on Generalization Through the Lens of Training and Regularization25 Oct 2022
- 2022Towards Global Neural Network Abstractions with Locally-Exact Reconstruction21 Oct 2022
- 2022Quiver neural networks26 Jul 2022
- 2022Support Vector Machines with the Hard-Margin Loss: Optimal Training via Combinatorial Benders' Cuts15 Jul 2022
- 2022Deep Neural Networks pruning via the Structured Perspective Regularization28 Jun 2022
- 2022Recall Distortion in Neural Network Pruning and the Undecayed Pruning Algorithm7 Jun 2022
- 2022Optimizing Objective Functions from Trained ReLU Neural Networks via Sampling27 May 2022
- 2022The Combinatorial Brain Surgeon: Pruning Weights That Cancel One Another in Neural Networks9 Mar 2022
- 2022P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints10 Feb 2022
- 2022OMLT: Optimization & Machine Learning Toolkit4 Feb 2022
- 2022Training Thinner and Deeper Neural Networks: Jumpstart Regularization30 Jan 2022
- 2021Parameter identifiability of a deep feedforward ReLU neural network24 Dec 2021
- 2021Optimizing over an ensemble of neural networks13 Dec 2021
- 2021On the Impact of Stable Ranks in Deep Nets5 Oct 2021
- 2021Universal approximation and model compression for radial neural networks6 Jul 2021
- 2021On the Expected Complexity of Maxout Networks1 Jul 2021
- 2021Towards Lower Bounds on the Depth of ReLU Neural Networks31 May 2021
- 2021Scaling Up Exact Neural Network Compression by ReLU Stability15 Feb 2021
- 2021Partition-based formulations for mixed-integer optimization of trained ReLU neural networks8 Feb 2021
- 2021Between steps: Intermediate relaxations between big-M and convex hull formulations29 Jan 2021
- 2021Towards Lower Bounds on the Depth of ReLU Neural Networkscited by 55
- 2022The Combinatorial Brain Surgeon: Pruning Weights That Cancel One Another in Neural Networkscited by 41
- 2021Partition-based formulations for mixed-integer optimization of trained ReLU neural networkscited by 39
- 2023When Deep Learning Meets Polyhedral Theory: A Surveycited by 39
- 2022OMLT: Optimization & Machine Learning Toolkitcited by 34
- 2022Pruning's Effect on Generalization Through the Lens of Training and Regularizationcited by 31
- 2021Parameter identifiability of a deep feedforward ReLU neural networkcited by 24
- 2021Scaling Up Exact Neural Network Compression by ReLU Stabilitycited by 19
- 2021On the Expected Complexity of Maxout Networkscited by 15
- 2021Between steps: Intermediate relaxations between big-M and convex hull formulationscited by 11
- 2022Optimizing Objective Functions from Trained ReLU Neural Networks via Samplingcited by 11
- 2024Optimization Over Trained Neural Networks: Taking a Relaxing Walkcited by 10
12 most cited of 34 All 34 (JSON)
- 2026Fast SDP certification of neural networks : towards large multi-class datasets3 Jul 2026
- 2025Test-Time Steering for Lossless Text Compression via Weighted Product of Experts4 Nov 2025
- 2025Optimization over Trained (and Sparse) Neural Networks: A Surrogate within a Surrogate4 May 2025
- 2024Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activations30 Oct 2024
- 2024Free Lunch in the Forest: Functionally-Identical Pruning of Boosted Tree Ensembles28 Aug 2024
- 2024Optimization Over Trained Neural Networks: Taking a Relaxing Walk7 Jan 2024
- 2023Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks27 Dec 2023
- 2023Proximity to Losslessly Compressible Parameters5 Jun 2023
- 2023Learning Prescriptive ReLU Networks1 Jun 2023
- 2023When Deep Learning Meets Polyhedral Theory: A Survey29 Apr 2023
- 2023Model-based feature selection for neural networks: A mixed-integer programming approach20 Feb 2023
- 2023Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions19 Jan 2023
12 newest of 34 All 34 (JSON)