Matches in SemOpenAlex for { <https://semopenalex.org/work/W4380353921> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4380353921 abstract "In this paper we investigate formal verification problems for Neural Network computations. Various reachability problems will be in the focus, such as: Given symbolic specifications of allowed inputs and outputs in form of Linear Programming instances, one question is whether valid inputs exist such that the given network computes a valid output? Does this property hold for all valid inputs? The former question's complexity has been investigated recently by Salzer and Lange for nets using the Rectified Linear Unit and the identity function as their activation functions. We complement their achievements by showing that the problem is NP-complete for piecewise linear functions with rational coefficients that are not linear, NP-hard for almost all suitable activation functions including non-linear ones that are continuous on an interval, complete for the Existential Theory of the Reals $exists mathbb R$ for every non-linear polynomial and $exists mathbb R$-hard for the exponential function and various sigmoidal functions. For the completeness results, linking the verification tasks with the theory of Constraint Satisfaction Problems turns out helpful." @default.
- W4380353921 created "2023-06-13" @default.
- W4380353921 creator A5092145429 @default.
- W4380353921 date "2023-06-09" @default.
- W4380353921 modified "2023-09-25" @default.
- W4380353921 title "Complexity of Reachability Problems in Neural Networks" @default.
- W4380353921 doi "https://doi.org/10.48550/arxiv.2306.05818" @default.
- W4380353921 hasPublicationYear "2023" @default.
- W4380353921 type Work @default.
- W4380353921 citedByCount "0" @default.
- W4380353921 crossrefType "posted-content" @default.
- W4380353921 hasAuthorship W4380353921A5092145429 @default.
- W4380353921 hasBestOaLocation W43803539211 @default.
- W4380353921 hasConcept C104317684 @default.
- W4380353921 hasConcept C112313634 @default.
- W4380353921 hasConcept C118615104 @default.
- W4380353921 hasConcept C126255220 @default.
- W4380353921 hasConcept C127716648 @default.
- W4380353921 hasConcept C128394911 @default.
- W4380353921 hasConcept C136643341 @default.
- W4380353921 hasConcept C17095337 @default.
- W4380353921 hasConcept C185592680 @default.
- W4380353921 hasConcept C188082640 @default.
- W4380353921 hasConcept C2524010 @default.
- W4380353921 hasConcept C33923547 @default.
- W4380353921 hasConcept C41008148 @default.
- W4380353921 hasConcept C41045048 @default.
- W4380353921 hasConcept C55493867 @default.
- W4380353921 hasConcept C80444323 @default.
- W4380353921 hasConceptScore W4380353921C104317684 @default.
- W4380353921 hasConceptScore W4380353921C112313634 @default.
- W4380353921 hasConceptScore W4380353921C118615104 @default.
- W4380353921 hasConceptScore W4380353921C126255220 @default.
- W4380353921 hasConceptScore W4380353921C127716648 @default.
- W4380353921 hasConceptScore W4380353921C128394911 @default.
- W4380353921 hasConceptScore W4380353921C136643341 @default.
- W4380353921 hasConceptScore W4380353921C17095337 @default.
- W4380353921 hasConceptScore W4380353921C185592680 @default.
- W4380353921 hasConceptScore W4380353921C188082640 @default.
- W4380353921 hasConceptScore W4380353921C2524010 @default.
- W4380353921 hasConceptScore W4380353921C33923547 @default.
- W4380353921 hasConceptScore W4380353921C41008148 @default.
- W4380353921 hasConceptScore W4380353921C41045048 @default.
- W4380353921 hasConceptScore W4380353921C55493867 @default.
- W4380353921 hasConceptScore W4380353921C80444323 @default.
- W4380353921 hasLocation W43803539211 @default.
- W4380353921 hasOpenAccess W4380353921 @default.
- W4380353921 hasPrimaryLocation W43803539211 @default.
- W4380353921 hasRelatedWork W1964039342 @default.
- W4380353921 hasRelatedWork W1991984686 @default.
- W4380353921 hasRelatedWork W2092519139 @default.
- W4380353921 hasRelatedWork W2093595318 @default.
- W4380353921 hasRelatedWork W2187814049 @default.
- W4380353921 hasRelatedWork W2280481767 @default.
- W4380353921 hasRelatedWork W2346672160 @default.
- W4380353921 hasRelatedWork W2350279905 @default.
- W4380353921 hasRelatedWork W2350426160 @default.
- W4380353921 hasRelatedWork W3152026565 @default.
- W4380353921 isParatext "false" @default.
- W4380353921 isRetracted "false" @default.
- W4380353921 workType "article" @default.