Certified Robustness via Sparse Second-Order Cone Relaxations
arXiv:2610.16016v1 Announce Type: new Abstract: Certified robustness is critical for deploying neural networks in safety-sensitive settings, but computing exact certificates typically requires solving