Tight Semidefinite Relaxations for Verifying Robustness of Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Azuma, Godai, Kim, Sunyoung, Yamashita, Makoto
Format:	Preprint
Published:	2025
Subjects:	Optimization and Control 62M45, 90C20, 90C22, 90C25, 90C26
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2504.09934