Semialgebraic Optimization for Lipschitz Constants of ReLU Networks - Chen, Tong; Lasserre, Jean B; Magron, Victor; Pauwels, Edouard (Advances in Neural Information Processing Systems, 2020)