Boosting Multi-neuron Convex Relaxation for Neural Network Verification.

Xuezhou Tang, Ye Zheng, Jiaxiang Liu

Browse the full SAS paper archive.