Skip to content
conftrace_
2025 ICML ICML 2025

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built.

Authors

Hong-Ming Chiu, Hao Chen, Huan Zhang, Richard Y. Zhang

Topics

Artificial Intelligence > Core AI > AI Safety Machine Learning > Optimization & Theory > Neural Network Optimization Deep Learning > Techniques > Model Architecture

Keywords

semidefinite programming scalability bound propagation l2 norm inter-neuron coupling tightness
Download PDF