Neural Network Repair with Reachability Analysis
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil Prokhorov
Topics & Concepts
ReachabilityComputer scienceReinforcement learningBenchmark (surveying)Domain (mathematical analysis)Artificial neural networkArtificial intelligenceProcess (computing)PruningDeep learningCode (set theory)Machine learningAlgorithmOperating systemProgramming languageGeographyBiologyGeodesySet (abstract data type)AgronomyMathematicsMathematical analysisAdversarial Robustness in Machine LearningCardiac Arrest and ResuscitationSoftware Reliability and Analysis Research