Certified Robustness and Training

Developed sparse SOCP verification using selective McCormick lifting and local SOC constraints. The CORE class-wise cascade matched SDP-certified robust accuracy with up to 86.30% lower average verification time on a fully connected MNIST benchmark.

CoRe-CROWN combines a Dual-CROWN training objective with sparse SOCP-derived regularization and influence-based block selection.

See Research and Selected Projects for methods and benchmark conditions, and Publications for published cascading and ensemble work.