Matches in SemOpenAlex for { <https://semopenalex.org/work/W3169864737> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3169864737 endingPage "2664" @default.
- W3169864737 startingPage "2654" @default.
- W3169864737 abstract "Machine learned models often must abide by certain requirements (e.g., fairness or legal). This has spurred interested in developing approaches that can provably verify whether a model satisfies certain properties. This paper introduces a generic algorithm called Veritas that enables tackling multiple different verification tasks for tree ensemble models like random forests (RFs) and gradient boosting decision trees (GBDTs). This generality contrasts with previous work, which has focused exclusively on either adversarial example generation or robustness checking. Veritas formulates the verification task as a generic optimization problem and introduces a novel search space representation. Veritas offers two key advantages. First, it provides anytime lower and upper bounds when the optimization problem cannot be solved exactly. In contrast, many existing methods have focused on exact solutions and are thus limited by the verification problem being NP-complete. Second, Veritas produces full (bounded suboptimal) solutions that can be used to generate concrete examples. We experimentally show that Veritas outperforms the previous state of the art by (a) generating exact solutions more frequently, (b) producing tighter bounds when (a) is not possible, and (c) offering orders of magnitude speed ups. Subsequently, Veritas enables tackling more and larger real-world verification scenarios." @default.
- W3169864737 created "2021-06-22" @default.
- W3169864737 creator A5029479248 @default.
- W3169864737 creator A5037418836 @default.
- W3169864737 creator A5074451226 @default.
- W3169864737 date "2021-07-18" @default.
- W3169864737 modified "2023-09-23" @default.
- W3169864737 title "Versatile Verification of Tree Ensembles" @default.
- W3169864737 hasPublicationYear "2021" @default.
- W3169864737 type Work @default.
- W3169864737 sameAs 3169864737 @default.
- W3169864737 citedByCount "1" @default.
- W3169864737 countsByYear W31698647372021 @default.
- W3169864737 crossrefType "proceedings-article" @default.
- W3169864737 hasAuthorship W3169864737A5029479248 @default.
- W3169864737 hasAuthorship W3169864737A5037418836 @default.
- W3169864737 hasAuthorship W3169864737A5074451226 @default.
- W3169864737 hasConcept C104317684 @default.
- W3169864737 hasConcept C113174947 @default.
- W3169864737 hasConcept C11413529 @default.
- W3169864737 hasConcept C126255220 @default.
- W3169864737 hasConcept C134306372 @default.
- W3169864737 hasConcept C154945302 @default.
- W3169864737 hasConcept C15744967 @default.
- W3169864737 hasConcept C185592680 @default.
- W3169864737 hasConcept C26517878 @default.
- W3169864737 hasConcept C2780767217 @default.
- W3169864737 hasConcept C33923547 @default.
- W3169864737 hasConcept C34388435 @default.
- W3169864737 hasConcept C38652104 @default.
- W3169864737 hasConcept C41008148 @default.
- W3169864737 hasConcept C46686674 @default.
- W3169864737 hasConcept C542102704 @default.
- W3169864737 hasConcept C55493867 @default.
- W3169864737 hasConcept C63479239 @default.
- W3169864737 hasConcept C80444323 @default.
- W3169864737 hasConcept C84525736 @default.
- W3169864737 hasConceptScore W3169864737C104317684 @default.
- W3169864737 hasConceptScore W3169864737C113174947 @default.
- W3169864737 hasConceptScore W3169864737C11413529 @default.
- W3169864737 hasConceptScore W3169864737C126255220 @default.
- W3169864737 hasConceptScore W3169864737C134306372 @default.
- W3169864737 hasConceptScore W3169864737C154945302 @default.
- W3169864737 hasConceptScore W3169864737C15744967 @default.
- W3169864737 hasConceptScore W3169864737C185592680 @default.
- W3169864737 hasConceptScore W3169864737C26517878 @default.
- W3169864737 hasConceptScore W3169864737C2780767217 @default.
- W3169864737 hasConceptScore W3169864737C33923547 @default.
- W3169864737 hasConceptScore W3169864737C34388435 @default.
- W3169864737 hasConceptScore W3169864737C38652104 @default.
- W3169864737 hasConceptScore W3169864737C41008148 @default.
- W3169864737 hasConceptScore W3169864737C46686674 @default.
- W3169864737 hasConceptScore W3169864737C542102704 @default.
- W3169864737 hasConceptScore W3169864737C55493867 @default.
- W3169864737 hasConceptScore W3169864737C63479239 @default.
- W3169864737 hasConceptScore W3169864737C80444323 @default.
- W3169864737 hasConceptScore W3169864737C84525736 @default.
- W3169864737 hasOpenAccess W3169864737 @default.
- W3169864737 hasRelatedWork W1830383289 @default.
- W3169864737 hasRelatedWork W1965047789 @default.
- W3169864737 hasRelatedWork W2074058199 @default.
- W3169864737 hasRelatedWork W2472157262 @default.
- W3169864737 hasRelatedWork W2473453452 @default.
- W3169864737 hasRelatedWork W2478464795 @default.
- W3169864737 hasRelatedWork W2502059287 @default.
- W3169864737 hasRelatedWork W2576680543 @default.
- W3169864737 hasRelatedWork W2883274422 @default.
- W3169864737 hasRelatedWork W2903041470 @default.
- W3169864737 hasRelatedWork W2967340447 @default.
- W3169864737 hasRelatedWork W3012981624 @default.
- W3169864737 hasRelatedWork W3097031579 @default.
- W3169864737 hasRelatedWork W3133661630 @default.
- W3169864737 hasRelatedWork W3195216059 @default.
- W3169864737 hasRelatedWork W3205715302 @default.
- W3169864737 hasRelatedWork W3206144638 @default.
- W3169864737 hasRelatedWork W3208478805 @default.
- W3169864737 hasRelatedWork W69989483 @default.
- W3169864737 hasRelatedWork W2148723623 @default.
- W3169864737 isParatext "false" @default.
- W3169864737 isRetracted "false" @default.
- W3169864737 magId "3169864737" @default.
- W3169864737 workType "article" @default.