paper-with-me

홈 › Papers

Scaling Up Exact Neural Network Compression by ReLU Stability

2021-02-15 · NeurIPS 2021 12 · Thiago Serra, Xin Yu, Abhinav Kumar, Srikumar Ramalingam

We can compress a rectifier network while exactly preserving its underlying functionality with respect to a given input domain if some of its neurons are stable. However, current approaches to determine the stability of neurons with Rectified Linear Unit (ReLU) activations require solving or finding a good approximation to multiple discrete optimization problems. In this work, we introduce an algorithm based on solving a single optimization problem to identify all stable neurons. Our approach is on median 183 times faster than the state-of-art method on CIFAR-10, which allows us to explore exact compression on deeper (5 x 100) and wider (2 x 800) networks within minutes. For classifiers trained under an amount of L1 regularization that does not worsen accuracy, we can remove up to 56% of the connections on the CIFAR-10 dataset. The code is available at the following link, https://github.com/yuxwind/ExactCompression.

📄 PDF Abstract BibTeX arXiv:2102.07804

Code (1)

yuxwind/ExactCompression 공식 구현 pytorch

Tasks

Neural Network Compression

Methods 이 논문이 사용한 방법론

L1 Regularization $L_{1}$ Regularization is a regularization technique applied to the weights of a neural network. We minimize a loss function compromising both the primary loss function and a…

Similar Papers 제목 키워드 기반

Conservation Law Breaking at the Edge of Stability: A Spectral Theory of Non-Convex Neural Network Optimization

2026-04-08 · Daniel Nobrega Medeiros arxiv

Why does gradient descent reliably find good solutions in non-convex neural network optimization, despite the landscape being NP-hard in the worst case? We show that gradient flow on L-layer ReLU networks without bias pr…

LipBaB: Computing exact Lipschitz constant of ReLU networks

2021-05-12 · Aritra Bhowmick, Meenakshi D'Souza, G. Srinivasa Raghavan

The Lipschitz constant of neural networks plays an important role in several contexts of deep learning ranging from robustness certification and regularization to stability analysis of systems with neural network control…

Reliably-stabilizing piecewise-affine neural network controllers

2021-11-13 · Filippo Fabiani, Paul J. Goulart

A common problem affecting neural network (NN) approximations of model predictive control (MPC) policies is the lack of analytical tools to assess the stability of the closed-loop system under the action of the NN-based …

Model Predictive Control

Random Parameter Noise Does Not Make Exact ReLU Verification Easy

2026-07-15 · Mojtaba Soltanalian arxiv

We study exact verification of ReLU networks in an adversarial smoothed model. Every network weight and bias is independently perturbed by Gaussian noise, clipped to $[-2,2]$, and rounded to the exact dyadic grid determi…

Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks

2024-05-08 · Sahel Vahedi Noori, Bin Hu, Geir Dullerud, Peter Seiler

This paper presents sufficient conditions for the stability and $\ell_2$-gain performance of recurrent neural networks (RNNs) with ReLU activation functions. These conditions are derived by combining Lyapunov/dissipativi…