Dissecting Deep Neural Networks
Not on the map. Why?
Abstract (arXiv)
In exchange for large quantities of data and processing power, deep neural networks have yielded models that provide state of the art predication capabilities in many fields. However, a lack of strong guarantees on their behaviour have raised concerns over their use in safety-critical applications. A first step to understanding these networks is to develop alternate representations that allow for further analysis. It has been shown that neural networks with piecewise affine activation functions are themselves piecewise affine, with their domains consisting of a vast number of linear regions. So far, the research on this topic has focused on counting the number of linear regions, rather than obtaining explicit piecewise affine representations. This work presents a novel algorithm that can compute the piecewise affine form of any fully connected neural network with rectified linear unit activations.
Key facts. Cited by 7 papers in the map (data through 14 Oct 2026). First posted on arXiv 9 Oct 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 2; 2022: 1; 2023: 1; 2024: 2; 2025: 1.
7 papers.
- 2021Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verificationcited by 13
- 2024FairProof : Confidential and Certifiable Fairness for Neural Networkscited by 13
- 2022Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systemscited by 6
- 2021Fast Jacobian-Vector Product for Deep Networkscited by 4
- 2023Instance-wise Linearization of Neural Network for Model Interpretationcited by 0
- 2024Parallel Algorithms for Exact Enumeration of Deep Neural Network Activation Regionscited by 0
- 2025Regional, Lattice and Logical Representations of Neural Networkscited by 0
- 2025Regional, Lattice and Logical Representations of Neural Networks6 Jun 2025
- 2024Parallel Algorithms for Exact Enumeration of Deep Neural Network Activation Regions29 Feb 2024
- 2024FairProof : Confidential and Certifiable Fairness for Neural Networks19 Feb 2024
- 2023Instance-wise Linearization of Neural Network for Model Interpretation25 Oct 2023
- 2022Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems15 Oct 2022
- 2021Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verification17 Nov 2021
- 2021Fast Jacobian-Vector Product for Deep Networks1 Apr 2021