Godai Azuma, Sunyoung Kim, Makoto Yamashita. Verifying Robustness of Neural Networks with Tight Semidefinite Relaxations. Comp. Opt. and Appl., 94(1):41-72, May 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.