CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu 0001. CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. In Gagandeep Singh 0001, Caterina Urban, editors, Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings. Volume 13790 of Lecture Notes in Computer Science, pages 449-473, Springer, 2022. [doi]

This author has not been identified. Look up 'Zhe Zhao' in GoogleThis author has not been identified. Look up 'Yedi Zhang' in GoogleThis author has not been identified. Look up 'Guangke Chen' in GoogleThis author has not been identified. Look up 'Fu Song' in GoogleThis author has not been identified. Look up 'Taolue Chen' in GoogleThis author has not been identified. Look up 'Jiaxiang Liu 0001' in Google

runs on WebDSL