Boosting Multi-neuron Convex Relaxation for Neural Network Verification. - Xuezhou Tang; Ye Zheng; Jiaxiang Liu 001 (SAS, 2023)

Improved Incremental Verification for Neural Networks. - Xuezhou Tang (TASE, 2024)