Matches in SemOpenAlex for { <https://semopenalex.org/work/W3170222543> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3170222543 endingPage "317" @default.
- W3170222543 startingPage "299" @default.
- W3170222543 abstract "AbstractDeep neural networks often lack the safety and robustness guarantees needed to be deployed in safety critical systems. Formal verification techniques can be used to prove input-output safety properties of networks, but when properties are difficult to specify, we rely on the solution to various optimization problems. In this work, we present an algorithm called ZoPE that solves optimization problems over the output of feedforward ReLU networks with low-dimensional inputs. The algorithm eagerly splits the input space, bounding the objective using zonotope propagation at each step, and improves computational efficiency compared to existing mixed-integer programming approaches. We demonstrate how to formulate and solve three types of optimization problems: (i) minimization of any convex function over the output space, (ii) minimization of a convex function over the output of two networks in series with an adversarial perturbation in the layer between them, and (iii) maximization of the difference in output between two networks. Using ZoPE, we observe a (25times ) speedup on property 1 of the ACAS Xu neural network verification benchmark compared to several state-of-the-art verifiers, and an (85times ) speedup on a set of linear optimization problems compared to a mixed-integer programming baseline. We demonstrate the versatility of the optimizer in analyzing networks by projecting onto the range of a generative adversarial network and visualizing the differences between a compressed and uncompressed network.KeywordsNeural network verificationGlobal optimizationConvex optimizationSafety critical systems" @default.
- W3170222543 created "2021-06-22" @default.
- W3170222543 creator A5003467296 @default.
- W3170222543 creator A5013912726 @default.
- W3170222543 creator A5052884317 @default.
- W3170222543 creator A5068326377 @default.
- W3170222543 date "2022-01-01" @default.
- W3170222543 modified "2023-10-16" @default.
- W3170222543 title "ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs" @default.
- W3170222543 cites W2144931885 @default.
- W3170222543 cites W2158451642 @default.
- W3170222543 cites W2569330252 @default.
- W3170222543 cites W2594877703 @default.
- W3170222543 cites W2796313232 @default.
- W3170222543 cites W2896500468 @default.
- W3170222543 cites W2900153411 @default.
- W3170222543 cites W2957311447 @default.
- W3170222543 cites W2963054787 @default.
- W3170222543 cites W2963178695 @default.
- W3170222543 cites W3043655933 @default.
- W3170222543 cites W3115503695 @default.
- W3170222543 cites W3175238725 @default.
- W3170222543 cites W3205041192 @default.
- W3170222543 cites W3207272170 @default.
- W3170222543 cites W3214220452 @default.
- W3170222543 cites W4205950066 @default.
- W3170222543 doi "https://doi.org/10.1007/978-3-031-06773-0_16" @default.
- W3170222543 hasPublicationYear "2022" @default.
- W3170222543 type Work @default.
- W3170222543 sameAs 3170222543 @default.
- W3170222543 citedByCount "0" @default.
- W3170222543 crossrefType "book-chapter" @default.
- W3170222543 hasAuthorship W3170222543A5003467296 @default.
- W3170222543 hasAuthorship W3170222543A5013912726 @default.
- W3170222543 hasAuthorship W3170222543A5052884317 @default.
- W3170222543 hasAuthorship W3170222543A5068326377 @default.
- W3170222543 hasBestOaLocation W31702225432 @default.
- W3170222543 hasConcept C104317684 @default.
- W3170222543 hasConcept C11413529 @default.
- W3170222543 hasConcept C126255220 @default.
- W3170222543 hasConcept C137836250 @default.
- W3170222543 hasConcept C154945302 @default.
- W3170222543 hasConcept C173608175 @default.
- W3170222543 hasConcept C185592680 @default.
- W3170222543 hasConcept C2776330181 @default.
- W3170222543 hasConcept C33923547 @default.
- W3170222543 hasConcept C41008148 @default.
- W3170222543 hasConcept C41045048 @default.
- W3170222543 hasConcept C50644808 @default.
- W3170222543 hasConcept C55493867 @default.
- W3170222543 hasConcept C63479239 @default.
- W3170222543 hasConcept C68339613 @default.
- W3170222543 hasConceptScore W3170222543C104317684 @default.
- W3170222543 hasConceptScore W3170222543C11413529 @default.
- W3170222543 hasConceptScore W3170222543C126255220 @default.
- W3170222543 hasConceptScore W3170222543C137836250 @default.
- W3170222543 hasConceptScore W3170222543C154945302 @default.
- W3170222543 hasConceptScore W3170222543C173608175 @default.
- W3170222543 hasConceptScore W3170222543C185592680 @default.
- W3170222543 hasConceptScore W3170222543C2776330181 @default.
- W3170222543 hasConceptScore W3170222543C33923547 @default.
- W3170222543 hasConceptScore W3170222543C41008148 @default.
- W3170222543 hasConceptScore W3170222543C41045048 @default.
- W3170222543 hasConceptScore W3170222543C50644808 @default.
- W3170222543 hasConceptScore W3170222543C55493867 @default.
- W3170222543 hasConceptScore W3170222543C63479239 @default.
- W3170222543 hasConceptScore W3170222543C68339613 @default.
- W3170222543 hasLocation W31702225431 @default.
- W3170222543 hasLocation W31702225432 @default.
- W3170222543 hasOpenAccess W3170222543 @default.
- W3170222543 hasPrimaryLocation W31702225431 @default.
- W3170222543 hasRelatedWork W10338118 @default.
- W3170222543 hasRelatedWork W10875580 @default.
- W3170222543 hasRelatedWork W11740481 @default.
- W3170222543 hasRelatedWork W13009568 @default.
- W3170222543 hasRelatedWork W14004545 @default.
- W3170222543 hasRelatedWork W2381850 @default.
- W3170222543 hasRelatedWork W2410899 @default.
- W3170222543 hasRelatedWork W3795022 @default.
- W3170222543 hasRelatedWork W4496545 @default.
- W3170222543 hasRelatedWork W4813209 @default.
- W3170222543 isParatext "false" @default.
- W3170222543 isRetracted "false" @default.
- W3170222543 magId "3170222543" @default.
- W3170222543 workType "book-chapter" @default.