CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.

Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu

Browse the full SAS paper archive.