Scaling Up Exact Neural Network Compression by ReLU Stability

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.