conftrace_

tightness

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

inter-neuron coupling (1) l2 norm (1) bound propagation (1) scalability (1) semidefinite programming (1)

Papers

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