Skip to content
conftrace_

relu stability

2 papers

Explore in graph

Also known as

RELU

Co-occurring keywords · papers mentioning both

exact compression (1) weight sparsity (1) rectifier network (1) robustness verification (1) neural network verification (1) discrete optimization (1) adversarial robustness (1) neural network pruning (1) neural network compression (1) model compression (1)

Papers

Scaling Up Exact Neural Network Compression by ReLU Stability NeurIPS 2021 Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability ICLR 2019