Safety Verification for Neural Networks Based on Set-boundary Analysis Zhen Liang1 Dejin Ren2 Wanwei Liu1 Ji Wang1
SafetyVericationforNeuralNetworksBasedonSet-boundaryAnalysisZhenLiang1,DejinRen2,WanweiLiu1,JiWang1,WenjingYang1,andBaiXue2?1CollegeofComputerScienceandTechnology,NationalUniversityofDefenseTechnology,Changsha,China{liangzhen,wwliu,Jiwang,wenjing.yang}@nudt.edu.cn2InstituteofSoftwareCAS,Beijing,Chi...
2025-05-03
1.71MB 19 页 0
0
10玖币