Semialgebraic Optimization for Lipschitz Constants of ReLU Networks. - Tong Chen 002; Jean B. Lasserre; Victor Magron; Edouard Pauwels (NeurIPS, 2020)

Polynomial Optimization for Bounding Lipschitz Constants of Deep Networks. - Tong Chen 002; Jean-Bernard Lasserre; Victor Magron; Edouard Pauwels (CoRR, 2020)

Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification. - Tong Chen 002; Jean B. Lasserre; Victor Magron; Edouard Pauwels (NeurIPS, 2021)

A sublevel moment-SOS hierarchy for polynomial optimization. - Tong Chen 002; Jean-Bernard Lasserre; Victor Magron; Edouard Pauwels (Comput. Optim. Appl., 2022)