Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366999130> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4366999130 abstract "While Feedforward Neural Networks (FNNs) have achieved remarkable success in various tasks, they are vulnerable to adversarial examples. Several techniques have been developed to verify the adversarial robustness of FNNs, but most of them focus on robustness verification against the local perturbation neighborhood of a single data point. There is still a large research gap in global robustness analysis. The global-robustness verifiable framework DeepGlobal has been proposed to identify textit{all} possible Adversarial Dangerous Regions (ADRs) of FNNs, not limited to data samples in a test set. In this paper, we propose a complete specification and implementation of DeepGlobal utilizing the SMT solver Z3 for more explicit definition, and propose several improvements to DeepGlobal for more efficient verification. To evaluate the effectiveness of our implementation and improvements, we conduct extensive experiments on a set of benchmark datasets. Visualization of our experiment results shows the validity and effectiveness of the approach." @default.
- W4366999130 created "2023-04-27" @default.
- W4366999130 creator A5027049671 @default.
- W4366999130 creator A5038878717 @default.
- W4366999130 creator A5057912307 @default.
- W4366999130 creator A5068285146 @default.
- W4366999130 date "2023-04-20" @default.
- W4366999130 modified "2023-09-30" @default.
- W4366999130 title "Using Z3 for Formal Modeling and Verification of FNN Global Robustness" @default.
- W4366999130 doi "https://doi.org/10.48550/arxiv.2304.10558" @default.
- W4366999130 hasPublicationYear "2023" @default.
- W4366999130 type Work @default.
- W4366999130 citedByCount "0" @default.
- W4366999130 crossrefType "posted-content" @default.
- W4366999130 hasAuthorship W4366999130A5027049671 @default.
- W4366999130 hasAuthorship W4366999130A5038878717 @default.
- W4366999130 hasAuthorship W4366999130A5057912307 @default.
- W4366999130 hasAuthorship W4366999130A5068285146 @default.
- W4366999130 hasBestOaLocation W43669991301 @default.
- W4366999130 hasConcept C104317684 @default.
- W4366999130 hasConcept C111498074 @default.
- W4366999130 hasConcept C113775141 @default.
- W4366999130 hasConcept C119857082 @default.
- W4366999130 hasConcept C124101348 @default.
- W4366999130 hasConcept C154945302 @default.
- W4366999130 hasConcept C164155591 @default.
- W4366999130 hasConcept C177264268 @default.
- W4366999130 hasConcept C185592680 @default.
- W4366999130 hasConcept C199360897 @default.
- W4366999130 hasConcept C2778770139 @default.
- W4366999130 hasConcept C36464697 @default.
- W4366999130 hasConcept C37736160 @default.
- W4366999130 hasConcept C41008148 @default.
- W4366999130 hasConcept C55493867 @default.
- W4366999130 hasConcept C63479239 @default.
- W4366999130 hasConcept C80444323 @default.
- W4366999130 hasConcept C85847156 @default.
- W4366999130 hasConceptScore W4366999130C104317684 @default.
- W4366999130 hasConceptScore W4366999130C111498074 @default.
- W4366999130 hasConceptScore W4366999130C113775141 @default.
- W4366999130 hasConceptScore W4366999130C119857082 @default.
- W4366999130 hasConceptScore W4366999130C124101348 @default.
- W4366999130 hasConceptScore W4366999130C154945302 @default.
- W4366999130 hasConceptScore W4366999130C164155591 @default.
- W4366999130 hasConceptScore W4366999130C177264268 @default.
- W4366999130 hasConceptScore W4366999130C185592680 @default.
- W4366999130 hasConceptScore W4366999130C199360897 @default.
- W4366999130 hasConceptScore W4366999130C2778770139 @default.
- W4366999130 hasConceptScore W4366999130C36464697 @default.
- W4366999130 hasConceptScore W4366999130C37736160 @default.
- W4366999130 hasConceptScore W4366999130C41008148 @default.
- W4366999130 hasConceptScore W4366999130C55493867 @default.
- W4366999130 hasConceptScore W4366999130C63479239 @default.
- W4366999130 hasConceptScore W4366999130C80444323 @default.
- W4366999130 hasConceptScore W4366999130C85847156 @default.
- W4366999130 hasLocation W43669991301 @default.
- W4366999130 hasOpenAccess W4366999130 @default.
- W4366999130 hasPrimaryLocation W43669991301 @default.
- W4366999130 hasRelatedWork W2952919291 @default.
- W4366999130 hasRelatedWork W3035729345 @default.
- W4366999130 hasRelatedWork W3114774860 @default.
- W4366999130 hasRelatedWork W3193857078 @default.
- W4366999130 hasRelatedWork W3203565254 @default.
- W4366999130 hasRelatedWork W4287549955 @default.
- W4366999130 hasRelatedWork W4303857474 @default.
- W4366999130 hasRelatedWork W4306177400 @default.
- W4366999130 hasRelatedWork W4311734044 @default.
- W4366999130 hasRelatedWork W4312741812 @default.
- W4366999130 isParatext "false" @default.
- W4366999130 isRetracted "false" @default.
- W4366999130 workType "article" @default.