@inproceedings{NEURIPS2020_dea9ddb2, author = {Chen, Tong and Lasserre, Jean B and Magron, Victor and Pauwels, Edouard}, booktitle = {Advances in Neural Information Processing Systems}, editor = {H. Larochelle and M. Ranzato and R. Hadsell and M.F. Balcan and H. Lin}, pages = {19189--19200}, publisher = {Curran Associates, Inc.}, title = {Semialgebraic Optimization for Lipschitz Constants of ReLU Networks}, url = {https://proceedings.neurips.cc/paper_files/paper/2020/file/dea9ddb25cbf2352cf4dec30222a02a5-Paper.pdf}, volume = {33}, year = {2020} }