nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement
Stanley Bak
Topics & Concepts
Computer scienceAbstractionBenchmark (surveying)Artificial neural networkFormal verificationDeep neural networksFormal methodsArtificial intelligenceTheoretical computer scienceProgramming languageEpistemologyGeographyPhilosophyGeodesyAdversarial Robustness in Machine LearningSecurity and Verification in ComputingSoftware Testing and Debugging Techniques