Tight Semidefinite Relaxations for Verifying Robustness of Neural Networks

MaRDI QIDQ7173807arXivFDO

Authors Godai Azuma, Sunyoung Kim, Makoto Yamashita

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Neural nets and related approaches to inference from stochastic processes (62M45) Quadratic programming (90C20) Semidefinite programming (90C22) Convex programming (90C25) Nonconvex programming, global optimization (90C26)

arXiv classification

math.OC

This page was built for publication: Tight Semidefinite Relaxations for Verifying Robustness of Neural Networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7173807)