Matches in SemOpenAlex for { <https://semopenalex.org/work/W3130326051> ?p ?o ?g. }
- W3130326051 abstract "Symbolic techniques based on Satisfiability Modulo Theory (SMT) solvers have been proposed for analyzing and verifying neural network properties, but their usage has been fairly limited owing to their poor scalability with larger networks. In this work, we propose a technique for combining gradient-based methods with symbolic techniques to scale such analyses and demonstrate its application for model explanation. In particular, we apply this technique to identify minimal regions in an input that are most relevant for a neural network's prediction. Our approach uses gradient information (based on Integrated Gradients) to focus on a subset of neurons in the first layer, which allows our technique to scale to large networks. The corresponding SMT constraints encode the minimal input mask discovery problem such that after masking the input, the activations of the selected neurons are still above a threshold. After solving for the minimal masks, our approach scores the mask regions to generate a relative ordering of the features within the mask. This produces a saliency map which explains where a model is looking when making a prediction. We evaluate our technique on three datasets-MNIST, ImageNet, and Beer Reviews, and demonstrate both quantitatively and qualitatively that the regions generated by our approach are sparser and achieve higher saliency scores compared to the gradient-based methods alone." @default.
- W3130326051 created "2021-03-01" @default.
- W3130326051 creator A5002185796 @default.
- W3130326051 creator A5010886029 @default.
- W3130326051 creator A5025689655 @default.
- W3130326051 creator A5027475930 @default.
- W3130326051 creator A5045091456 @default.
- W3130326051 date "2021-05-03" @default.
- W3130326051 modified "2023-09-23" @default.
- W3130326051 title "Scaling Symbolic Methods using Gradients for Neural Model Explanation" @default.
- W3130326051 cites W1481397690 @default.
- W3130326051 cites W1543916877 @default.
- W3130326051 cites W1787224781 @default.
- W3130326051 cites W2001259128 @default.
- W3130326051 cites W2097117768 @default.
- W3130326051 cites W2108598243 @default.
- W3130326051 cites W2543296129 @default.
- W3130326051 cites W2549418531 @default.
- W3130326051 cites W2594633041 @default.
- W3130326051 cites W2594877703 @default.
- W3130326051 cites W2626639386 @default.
- W3130326051 cites W2945205529 @default.
- W3130326051 cites W2962858109 @default.
- W3130326051 cites W2962941306 @default.
- W3130326051 cites W2963715038 @default.
- W3130326051 cites W2963773358 @default.
- W3130326051 cites W2964359568 @default.
- W3130326051 cites W2969880113 @default.
- W3130326051 cites W2970447476 @default.
- W3130326051 cites W2999818223 @default.
- W3130326051 cites W3005086430 @default.
- W3130326051 cites W3006064320 @default.
- W3130326051 cites W3035180228 @default.
- W3130326051 cites W3200416042 @default.
- W3130326051 cites W602497127 @default.
- W3130326051 hasPublicationYear "2021" @default.
- W3130326051 type Work @default.
- W3130326051 sameAs 3130326051 @default.
- W3130326051 citedByCount "0" @default.
- W3130326051 crossrefType "proceedings-article" @default.
- W3130326051 hasAuthorship W3130326051A5002185796 @default.
- W3130326051 hasAuthorship W3130326051A5010886029 @default.
- W3130326051 hasAuthorship W3130326051A5025689655 @default.
- W3130326051 hasAuthorship W3130326051A5027475930 @default.
- W3130326051 hasAuthorship W3130326051A5045091456 @default.
- W3130326051 hasConcept C104317684 @default.
- W3130326051 hasConcept C11413529 @default.
- W3130326051 hasConcept C120665830 @default.
- W3130326051 hasConcept C121332964 @default.
- W3130326051 hasConcept C142362112 @default.
- W3130326051 hasConcept C153180895 @default.
- W3130326051 hasConcept C153349607 @default.
- W3130326051 hasConcept C154945302 @default.
- W3130326051 hasConcept C185592680 @default.
- W3130326051 hasConcept C190502265 @default.
- W3130326051 hasConcept C192209626 @default.
- W3130326051 hasConcept C2524010 @default.
- W3130326051 hasConcept C2777402240 @default.
- W3130326051 hasConcept C2778755073 @default.
- W3130326051 hasConcept C33923547 @default.
- W3130326051 hasConcept C41008148 @default.
- W3130326051 hasConcept C48044578 @default.
- W3130326051 hasConcept C50644808 @default.
- W3130326051 hasConcept C55493867 @default.
- W3130326051 hasConcept C62520636 @default.
- W3130326051 hasConcept C66746571 @default.
- W3130326051 hasConcept C77088390 @default.
- W3130326051 hasConcept C99844830 @default.
- W3130326051 hasConceptScore W3130326051C104317684 @default.
- W3130326051 hasConceptScore W3130326051C11413529 @default.
- W3130326051 hasConceptScore W3130326051C120665830 @default.
- W3130326051 hasConceptScore W3130326051C121332964 @default.
- W3130326051 hasConceptScore W3130326051C142362112 @default.
- W3130326051 hasConceptScore W3130326051C153180895 @default.
- W3130326051 hasConceptScore W3130326051C153349607 @default.
- W3130326051 hasConceptScore W3130326051C154945302 @default.
- W3130326051 hasConceptScore W3130326051C185592680 @default.
- W3130326051 hasConceptScore W3130326051C190502265 @default.
- W3130326051 hasConceptScore W3130326051C192209626 @default.
- W3130326051 hasConceptScore W3130326051C2524010 @default.
- W3130326051 hasConceptScore W3130326051C2777402240 @default.
- W3130326051 hasConceptScore W3130326051C2778755073 @default.
- W3130326051 hasConceptScore W3130326051C33923547 @default.
- W3130326051 hasConceptScore W3130326051C41008148 @default.
- W3130326051 hasConceptScore W3130326051C48044578 @default.
- W3130326051 hasConceptScore W3130326051C50644808 @default.
- W3130326051 hasConceptScore W3130326051C55493867 @default.
- W3130326051 hasConceptScore W3130326051C62520636 @default.
- W3130326051 hasConceptScore W3130326051C66746571 @default.
- W3130326051 hasConceptScore W3130326051C77088390 @default.
- W3130326051 hasConceptScore W3130326051C99844830 @default.
- W3130326051 hasLocation W31303260511 @default.
- W3130326051 hasOpenAccess W3130326051 @default.
- W3130326051 hasPrimaryLocation W31303260511 @default.
- W3130326051 hasRelatedWork W1844075245 @default.
- W3130326051 hasRelatedWork W270432131 @default.
- W3130326051 hasRelatedWork W2899291531 @default.
- W3130326051 hasRelatedWork W2962827897 @default.
- W3130326051 hasRelatedWork W2964622438 @default.
- W3130326051 hasRelatedWork W3015661699 @default.