LAAS-CNRS, Université de Toulouse, 31400 Toulouse, France; IRIT & IMT, Université de Toulouse, 31400 Toulouse, France; LAAS-CNRS & IMT, Université de Toulouse, 31400 Toulouse, France
Tong Chen, Jean Lasserre, Victor Magron, Edouard Pauwels
Semialgebraic optimization;deep equilibrium model;robustness certification;Lipschitz constant
Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification