Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification - Chen, Tong; Lasserre, Jean B; Magron, Victor; Pauwels, Edouard (Advances in Neural Information Processing Systems, 2021)