Order-2 Tightness of Block-Sparse SOS Relaxations for One-Layer ReLU Network Verification with a Matching Input-Sharing Graph figure
AlphaXiv 中文概览(可滚动查看)