Matches in SemOpenAlex for { <https://semopenalex.org/work/W4381826740> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4381826740 abstract "Current approaches to neural network verification focus on specifications that target small regions around known input data points, such as local robustness. Thus, using these approaches, we can not obtain guarantees for inputs that are not close to known inputs. Yet, it is highly likely that a neural network will encounter such truly unseen inputs during its application. We study global specifications that - when satisfied - provide guarantees for all potential inputs. We introduce a hyperproperty formalism that allows for expressing global specifications such as monotonicity, Lipschitz continuity, global robustness, and dependency fairness. Our formalism enables verifying global specifications using existing neural network verification approaches by leveraging capabilities for verifying general computational graphs. Thereby, we extend the scope of guarantees that can be provided using existing methods. Recent success in verifying specific global specifications shows that attaining strong guarantees for all potential data points is feasible." @default.
- W4381826740 created "2023-06-24" @default.
- W4381826740 creator A5024374637 @default.
- W4381826740 creator A5045470371 @default.
- W4381826740 date "2023-06-21" @default.
- W4381826740 modified "2023-09-26" @default.
- W4381826740 title "Verifying Global Neural Network Specifications using Hyperproperties" @default.
- W4381826740 doi "https://doi.org/10.48550/arxiv.2306.12495" @default.
- W4381826740 hasPublicationYear "2023" @default.
- W4381826740 type Work @default.
- W4381826740 citedByCount "0" @default.
- W4381826740 crossrefType "posted-content" @default.
- W4381826740 hasAuthorship W4381826740A5024374637 @default.
- W4381826740 hasAuthorship W4381826740A5045470371 @default.
- W4381826740 hasBestOaLocation W43818267401 @default.
- W4381826740 hasConcept C104317684 @default.
- W4381826740 hasConcept C120314980 @default.
- W4381826740 hasConcept C134306372 @default.
- W4381826740 hasConcept C142362112 @default.
- W4381826740 hasConcept C153349607 @default.
- W4381826740 hasConcept C154945302 @default.
- W4381826740 hasConcept C185592680 @default.
- W4381826740 hasConcept C22324862 @default.
- W4381826740 hasConcept C33923547 @default.
- W4381826740 hasConcept C41008148 @default.
- W4381826740 hasConcept C50644808 @default.
- W4381826740 hasConcept C55493867 @default.
- W4381826740 hasConcept C558565934 @default.
- W4381826740 hasConcept C63479239 @default.
- W4381826740 hasConcept C72169020 @default.
- W4381826740 hasConcept C73301696 @default.
- W4381826740 hasConcept C80444323 @default.
- W4381826740 hasConceptScore W4381826740C104317684 @default.
- W4381826740 hasConceptScore W4381826740C120314980 @default.
- W4381826740 hasConceptScore W4381826740C134306372 @default.
- W4381826740 hasConceptScore W4381826740C142362112 @default.
- W4381826740 hasConceptScore W4381826740C153349607 @default.
- W4381826740 hasConceptScore W4381826740C154945302 @default.
- W4381826740 hasConceptScore W4381826740C185592680 @default.
- W4381826740 hasConceptScore W4381826740C22324862 @default.
- W4381826740 hasConceptScore W4381826740C33923547 @default.
- W4381826740 hasConceptScore W4381826740C41008148 @default.
- W4381826740 hasConceptScore W4381826740C50644808 @default.
- W4381826740 hasConceptScore W4381826740C55493867 @default.
- W4381826740 hasConceptScore W4381826740C558565934 @default.
- W4381826740 hasConceptScore W4381826740C63479239 @default.
- W4381826740 hasConceptScore W4381826740C72169020 @default.
- W4381826740 hasConceptScore W4381826740C73301696 @default.
- W4381826740 hasConceptScore W4381826740C80444323 @default.
- W4381826740 hasLocation W43818267401 @default.
- W4381826740 hasOpenAccess W4381826740 @default.
- W4381826740 hasPrimaryLocation W43818267401 @default.
- W4381826740 hasRelatedWork W1587227328 @default.
- W4381826740 hasRelatedWork W175486093 @default.
- W4381826740 hasRelatedWork W2002512378 @default.
- W4381826740 hasRelatedWork W2363475415 @default.
- W4381826740 hasRelatedWork W2527235911 @default.
- W4381826740 hasRelatedWork W2953082775 @default.
- W4381826740 hasRelatedWork W2998813341 @default.
- W4381826740 hasRelatedWork W3022782115 @default.
- W4381826740 hasRelatedWork W3185441898 @default.
- W4381826740 hasRelatedWork W4300758752 @default.
- W4381826740 isParatext "false" @default.
- W4381826740 isRetracted "false" @default.
- W4381826740 workType "article" @default.