Boosting Multi-neuron Convex Relaxation for Neural Network Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xuezhou Tang, Ye Zheng, Jiaxiang Liu 0001. Boosting Multi-neuron Convex Relaxation for Neural Network Verification. In Manuel V. Hermenegildo, José F. Morales 0001, editors, Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. Volume 14284 of Lecture Notes in Computer Science, pages 540-563, Springer, 2023. [doi]

This author has not been identified. Look up 'Xuezhou Tang' in GoogleThis author has not been identified. Look up 'Ye Zheng' in GoogleThis author has not been identified. Look up 'Jiaxiang Liu 0001' in Google

runs on WebDSL