Expediting Neural Network Verification via Network Reduction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo. Expediting Neural Network Verification via Network Reduction. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023. pages 1263-1275, IEEE, 2023. [doi]

This author has not been identified. Look up 'Yuyi Zhong' in GoogleThis author has not been identified. Look up 'Ruiwei Wang' in GoogleThis author has not been identified. Look up 'Siau-Cheng Khoo' in Google

runs on WebDSL