Scaling Up Exact Neural Network Compression by ReLU Stability - Serra, Thiago; Yu, Xin; Kumar, Abhinav; Ramalingam, Srikumar (Advances in Neural Information Processing Systems, 2021)