Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification
From MaRDI portal
Abstract: Deep equilibrium models are based on implicitly defined functional relations and have shown competitive performance compared with the traditional deep networks. Monotone operator equilibrium networks (monDEQ) retain interesting performance with additional theoretical guaranties. Existing certification tools for classical deep networks cannot directly be applied to monDEQs for which much fewer tools exist. We introduce a semialgebraic representation for ReLU based monDEQs which allows to approximate the corresponding input output relation by semidefinite programming (SDP). We present several applications to network certification and obtain SDP models for the following problems : robustness certification, Lipschitz constant estimation, ellipsoidal uncertainty propagation. We use these models to certify robustness of monDEQs w.r.t. a general norm. Experimental results show that the proposed models outperform existing approaches for monDEQ certification. Furthermore, our investigations suggest that monDEQs are much more robust to perturbations than perturbations.
This page was built for publication: Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6369301)
