Matches in SemOpenAlex for { <https://semopenalex.org/work/W4382318922> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4382318922 endingPage "14945" @default.
- W4382318922 startingPage "14937" @default.
- W4382318922 abstract "We propose an enhanced semidefinite program (SDP) relaxation to enable the tight and efficient verification of neural networks (NNs). The tightness improvement is achieved by introducing a nonlinear constraint to existing SDP relaxations previously proposed for NN verification. The efficiency of the proposal stems from the iterative nature of the proposed algorithm in that it solves the resulting non-convex SDP by recursively solving auxiliary convex layer-based SDP problems. We show formally that the solution generated by our algorithm is tighter than state-of-the-art SDP-based solutions for the problem. We also show that the solution sequence converges to the optimal solution of the non-convex enhanced SDP relaxation. The experimental results on standard benchmarks in the area show that our algorithm achieves the state-of-the-art performance whilst maintaining an acceptable computational cost." @default.
- W4382318922 created "2023-06-28" @default.
- W4382318922 creator A5015045050 @default.
- W4382318922 creator A5050760087 @default.
- W4382318922 creator A5057462148 @default.
- W4382318922 date "2023-06-26" @default.
- W4382318922 modified "2023-09-27" @default.
- W4382318922 title "Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification" @default.
- W4382318922 doi "https://doi.org/10.1609/aaai.v37i12.26744" @default.
- W4382318922 hasPublicationYear "2023" @default.
- W4382318922 type Work @default.
- W4382318922 citedByCount "0" @default.
- W4382318922 crossrefType "journal-article" @default.
- W4382318922 hasAuthorship W4382318922A5015045050 @default.
- W4382318922 hasAuthorship W4382318922A5050760087 @default.
- W4382318922 hasAuthorship W4382318922A5057462148 @default.
- W4382318922 hasBestOaLocation W43823189221 @default.
- W4382318922 hasConcept C101901036 @default.
- W4382318922 hasConcept C112680207 @default.
- W4382318922 hasConcept C11413529 @default.
- W4382318922 hasConcept C126255220 @default.
- W4382318922 hasConcept C154945302 @default.
- W4382318922 hasConcept C15744967 @default.
- W4382318922 hasConcept C159694833 @default.
- W4382318922 hasConcept C2524010 @default.
- W4382318922 hasConcept C2776029896 @default.
- W4382318922 hasConcept C2776036281 @default.
- W4382318922 hasConcept C2778112365 @default.
- W4382318922 hasConcept C33923547 @default.
- W4382318922 hasConcept C41008148 @default.
- W4382318922 hasConcept C48103436 @default.
- W4382318922 hasConcept C50644808 @default.
- W4382318922 hasConcept C54355233 @default.
- W4382318922 hasConcept C77805123 @default.
- W4382318922 hasConcept C86803240 @default.
- W4382318922 hasConceptScore W4382318922C101901036 @default.
- W4382318922 hasConceptScore W4382318922C112680207 @default.
- W4382318922 hasConceptScore W4382318922C11413529 @default.
- W4382318922 hasConceptScore W4382318922C126255220 @default.
- W4382318922 hasConceptScore W4382318922C154945302 @default.
- W4382318922 hasConceptScore W4382318922C15744967 @default.
- W4382318922 hasConceptScore W4382318922C159694833 @default.
- W4382318922 hasConceptScore W4382318922C2524010 @default.
- W4382318922 hasConceptScore W4382318922C2776029896 @default.
- W4382318922 hasConceptScore W4382318922C2776036281 @default.
- W4382318922 hasConceptScore W4382318922C2778112365 @default.
- W4382318922 hasConceptScore W4382318922C33923547 @default.
- W4382318922 hasConceptScore W4382318922C41008148 @default.
- W4382318922 hasConceptScore W4382318922C48103436 @default.
- W4382318922 hasConceptScore W4382318922C50644808 @default.
- W4382318922 hasConceptScore W4382318922C54355233 @default.
- W4382318922 hasConceptScore W4382318922C77805123 @default.
- W4382318922 hasConceptScore W4382318922C86803240 @default.
- W4382318922 hasIssue "12" @default.
- W4382318922 hasLocation W43823189221 @default.
- W4382318922 hasOpenAccess W4382318922 @default.
- W4382318922 hasPrimaryLocation W43823189221 @default.
- W4382318922 hasRelatedWork W1997135619 @default.
- W4382318922 hasRelatedWork W2176720246 @default.
- W4382318922 hasRelatedWork W2385625412 @default.
- W4382318922 hasRelatedWork W2747249330 @default.
- W4382318922 hasRelatedWork W2893860505 @default.
- W4382318922 hasRelatedWork W2952885210 @default.
- W4382318922 hasRelatedWork W2963842491 @default.
- W4382318922 hasRelatedWork W3105031806 @default.
- W4382318922 hasRelatedWork W4289490443 @default.
- W4382318922 hasRelatedWork W4301799555 @default.
- W4382318922 hasVolume "37" @default.
- W4382318922 isParatext "false" @default.
- W4382318922 isRetracted "false" @default.
- W4382318922 workType "article" @default.