@misc{indiciae2ea2b95da4d9, title = {Order-2 Tightness of Block-Sparse SOS Relaxations for One-Layer ReLU Network Verification with a Matching Input-Sharing Graph}, author = {Godai Azuma and Sunyoung Kim and Makoto Yamashita}, year = {2026}, url = {https://arxiv.org/abs/2607.20013}, note = {Source identifier: 2607.20013} }