Equivalent and Approximate Transformations of Deep Neural Networks
Not on the map. Why?
Abstract (arXiv)
Two networks are equivalent if they produce the same output for any given input. In this paper, we study the possibility of transforming a deep neural network to another network with a different number of units or layers, which can be either equivalent, a local exact approximation, or a global linear approximation of the original network. On the practical side, we show that certain rectified linear units (ReLUs) can be safely removed from a network if they are always active or inactive for any valid input. If we only need an equivalent network for a smaller domain, then more units can be removed and some layers collapsed. On the theoretical side, we constructively show that for any feed-forward ReLU network, there exists a global linear approximation to a 2-hidden-layer shallow network with a fixed number of units. This result is a balance between the increasing number of units for arbitrary approximation with a single layer and the known upper bound of lceil log(n0+1)rceil +1 layers for exact representation, where n0 is the input dimension. While the transformed network may require an exponential number of units to capture the activation patterns of the original network, we show that it can be made substantially smaller by only accounting for the patterns that define linear regions. Based on experiments with ReLU networks on the MNIST dataset, we found that l1-regularization and adversarial training reduces the number of linear regions significantly as the number of stable units increases due to weight sparsity. Therefore, we can also intentionally train ReLU networks to allow for effective loss-less compression and approximation.
Key facts. Cited by 11 papers in the map (data through 7 Oct 2026). First posted on arXiv 27 May 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 3; 2022: 3; 2023: 2; 2024: 1; 2025: 2.
11 papers.
- 2023When Deep Learning Meets Polyhedral Theory: A Surveycited by 39
- 2021Scaling Up Exact Neural Network Compression by ReLU Stabilitycited by 19
- 2022Cardinality-Minimal Explanations for Monotonic Neural Networkscited by 8
- 2022Piecewise Linear Neural Networks and Deep Learningcited by 7
- 2024Feed-Forward Neural Networks as a Mixed-Integer Programcited by 4
- 2021Neural networks behave as hash encoders: An empirical studycited by 3
- 2021On the space of coefficients of a Feed Forward Neural Networkcited by 2
- 2025An analysis of optimization problems involving ReLU neural networkscited by 2
- 2023Tight Mixed-Integer Optimization Formulations for Prescriptive Treescited by 1
- 2022Towards Global Neural Network Abstractions with Locally-Exact Reconstructioncited by 0
- 2025Optimization over Trained (and Sparse) Neural Networks: A Surrogate within a Surrogatecited by 0
- 2025Optimization over Trained (and Sparse) Neural Networks: A Surrogate within a Surrogate4 May 2025
- 2025An analysis of optimization problems involving ReLU neural networks5 Feb 2025
- 2024Feed-Forward Neural Networks as a Mixed-Integer Program9 Feb 2024
- 2023When Deep Learning Meets Polyhedral Theory: A Survey29 Apr 2023
- 2023Tight Mixed-Integer Optimization Formulations for Prescriptive Trees28 Feb 2023
- 2022Towards Global Neural Network Abstractions with Locally-Exact Reconstruction21 Oct 2022
- 2022Piecewise Linear Neural Networks and Deep Learning18 Jun 2022
- 2022Cardinality-Minimal Explanations for Monotonic Neural Networks19 May 2022
- 2021On the space of coefficients of a Feed Forward Neural Network7 Sep 2021
- 2021Scaling Up Exact Neural Network Compression by ReLU Stability15 Feb 2021
- 2021Neural networks behave as hash encoders: An empirical study14 Jan 2021