CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu
Topics & Concepts
Computer scienceCorrectnessRobustness (evolution)ScalabilityDeep neural networksFormal verificationCounterexampleFormal methodsArtificial neural networkBenchmark (surveying)Adversarial systemModel checkingArtificial intelligenceTheoretical computer scienceProgramming languageGeographyChemistryDatabaseDiscrete mathematicsMathematicsGeneGeodesyBiochemistryAdversarial Robustness in Machine LearningSoftware Testing and Debugging TechniquesAdvanced Malware Detection Techniques