Verifying Robustness of Neural Networks with Tight Semidefinite Relaxations

Computational Optimization and Applications 2026 Book chapter

View at publisher
Authors: Godai Azuma, SUNYOUNG KIM, Makoto Yamashita
DOI: 10.1007/s10589-026-00765-5
Cited by: 0
References: 21

Fields of Study & Subjects

Advanced Optimization Algorithms Research Formal Methods in Verification Adversarial Robustness in Machine Learning

Publication details

Journal / source
Computational Optimization and Applications
Volume
94
Issue
1
Pages
41–72
Publication date
16 February 2026
Language
EN
Document type
Book chapter