Outside the Box : Abstraction-Based Monitoring of Neural Networks

dc.contributor.authorHenzinger, Thomas A.
dc.contributor.authorLukina, Anna
dc.contributor.authorSchilling, Christian
dc.date.accessioned2021-04-30T13:35:07Z
dc.date.available2021-04-30T13:35:07Z
dc.date.issued2020eng
dc.description.abstractNeural networks have demonstrated unmatched performance in a range of classification tasks. Despite numerous efforts of the research community, novelty detection remains one of the significant limitations of neural networks. The ability to identify previously unseen inputs as novel is crucial for our understanding of the decisions made by neural networks. At runtime, inputs not falling into any of the categories learned during training cannot be classified correctly by the neural network. Existing approaches treat the neural network as a black box and try to detect novel inputs based on the confidence of the output predictions. However, neural networks are not trained to reduce their confidence for novel inputs, which limits the effectiveness of these approaches. We propose a framework to monitor a neural network by observing the hidden layers. We employ a common abstraction from program analysis - boxes - to identify novel behaviors in the monitored layers, i.e., inputs that cause behaviors outside the box. For each neuron, the boxes range over the values seen in training. The framework is efficient and flexible to achieve a desired trade-off between raising false warnings and detecting novel inputs. We illustrate the performance and the robustness to variability in the unknown classes on popular image-classification benchmarks.eng
dc.description.versionpublishedeng
dc.identifier.arxiv1911.09032v3eng
dc.identifier.doi10.3233/FAIA200375eng
dc.identifier.ppn175726857X
dc.identifier.urihttps://kops.uni-konstanz.de/handle/123456789/53573
dc.language.isoengeng
dc.rightsterms-of-use
dc.rights.urihttps://rightsstatements.org/page/InC/1.0/
dc.subject.ddc004eng
dc.titleOutside the Box : Abstraction-Based Monitoring of Neural Networkseng
dc.typeINPROCEEDINGSeng
dspace.entity.typePublication
kops.citation.bibtex
@inproceedings{Henzinger2020Outsi-53573,
  year={2020},
  doi={10.3233/FAIA200375},
  title={Outside the Box : Abstraction-Based Monitoring of Neural Networks},
  number={325},
  isbn={978-1-64368-100-9},
  issn={0922-6389},
  publisher={IOS Press},
  address={Amsterdam},
  series={Frontiers in Artificial Intelligence and Applications},
  booktitle={ECAI 2020 : 24th European Conference on Artificial Intelligence},
  pages={2433--2440},
  editor={De Giacomo, Giuseppe and Catala, Alejandro and Dilkina, Bistra},
  author={Henzinger, Thomas A. and Lukina, Anna and Schilling, Christian}
}
kops.citation.iso690HENZINGER, Thomas A., Anna LUKINA, Christian SCHILLING, 2020. Outside the Box : Abstraction-Based Monitoring of Neural Networks. 24th European Conference on Artificial Intelligence - ECAI 2020. Santiago de Compostela, Spain, 29. Aug. 2020 - 8. Sept. 2020. In: DE GIACOMO, Giuseppe, ed., Alejandro CATALA, ed., Bistra DILKINA, ed. and others. ECAI 2020 : 24th European Conference on Artificial Intelligence. Amsterdam: IOS Press, 2020, pp. 2433-2440. Frontiers in Artificial Intelligence and Applications. 325. ISSN 0922-6389. eISSN 1879-8314. ISBN 978-1-64368-100-9. Available under: doi: 10.3233/FAIA200375deu
kops.citation.iso690HENZINGER, Thomas A., Anna LUKINA, Christian SCHILLING, 2020. Outside the Box : Abstraction-Based Monitoring of Neural Networks. 24th European Conference on Artificial Intelligence - ECAI 2020. Santiago de Compostela, Spain, Aug 29, 2020 - Sep 8, 2020. In: DE GIACOMO, Giuseppe, ed., Alejandro CATALA, ed., Bistra DILKINA, ed. and others. ECAI 2020 : 24th European Conference on Artificial Intelligence. Amsterdam: IOS Press, 2020, pp. 2433-2440. Frontiers in Artificial Intelligence and Applications. 325. ISSN 0922-6389. eISSN 1879-8314. ISBN 978-1-64368-100-9. Available under: doi: 10.3233/FAIA200375eng
kops.citation.rdf
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/53573">
    <dc:creator>Henzinger, Thomas A.</dc:creator>
    <dcterms:title>Outside the Box : Abstraction-Based Monitoring of Neural Networks</dcterms:title>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-04-30T13:35:07Z</dc:date>
    <dc:contributor>Henzinger, Thomas A.</dc:contributor>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/53573/1/Henzinger_2-1gbobv4s6kgjt1.pdf"/>
    <dc:creator>Schilling, Christian</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:issued>2020</dcterms:issued>
    <dc:creator>Lukina, Anna</dc:creator>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:abstract xml:lang="eng">Neural networks have demonstrated unmatched performance in a range of classification tasks. Despite numerous efforts of the research community, novelty detection remains one of the significant limitations of neural networks. The ability to identify previously unseen inputs as novel is crucial for our understanding of the decisions made by neural networks. At runtime, inputs not falling into any of the categories learned during training cannot be classified correctly by the neural network. Existing approaches treat the neural network as a black box and try to detect novel inputs based on the confidence of the output predictions. However, neural networks are not trained to reduce their confidence for novel inputs, which limits the effectiveness of these approaches. We propose a framework to monitor a neural network by observing the hidden layers. We employ a common abstraction from program analysis - boxes - to identify novel behaviors in the monitored layers, i.e., inputs that cause behaviors outside the box. For each neuron, the boxes range over the values seen in training. The framework is efficient and flexible to achieve a desired trade-off between raising false warnings and detecting novel inputs. We illustrate the performance and the robustness to variability in the unknown classes on popular image-classification benchmarks.</dcterms:abstract>
    <dc:language>eng</dc:language>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Schilling, Christian</dc:contributor>
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/53573/1/Henzinger_2-1gbobv4s6kgjt1.pdf"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/53573"/>
    <dc:contributor>Lukina, Anna</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-04-30T13:35:07Z</dcterms:available>
  </rdf:Description>
</rdf:RDF>
kops.conferencefield24th European Conference on Artificial Intelligence - ECAI 2020, 29. Aug. 2020 - 8. Sept. 2020, Santiago de Compostela, Spaindeu
kops.date.conferenceEnd2020-09-08eng
kops.date.conferenceStart2020-08-29eng
kops.description.openAccessopenaccessbookparteng
kops.flag.knbibliographytrue
kops.identifier.nbnurn:nbn:de:bsz:352-2-1gbobv4s6kgjt1
kops.location.conferenceSantiago de Compostela, Spaineng
kops.sourcefieldDE GIACOMO, Giuseppe, ed., Alejandro CATALA, ed., Bistra DILKINA, ed. and others. <i>ECAI 2020 : 24th European Conference on Artificial Intelligence</i>. Amsterdam: IOS Press, 2020, pp. 2433-2440. Frontiers in Artificial Intelligence and Applications. 325. ISSN 0922-6389. eISSN 1879-8314. ISBN 978-1-64368-100-9. Available under: doi: 10.3233/FAIA200375deu
kops.sourcefield.plainDE GIACOMO, Giuseppe, ed., Alejandro CATALA, ed., Bistra DILKINA, ed. and others. ECAI 2020 : 24th European Conference on Artificial Intelligence. Amsterdam: IOS Press, 2020, pp. 2433-2440. Frontiers in Artificial Intelligence and Applications. 325. ISSN 0922-6389. eISSN 1879-8314. ISBN 978-1-64368-100-9. Available under: doi: 10.3233/FAIA200375deu
kops.sourcefield.plainDE GIACOMO, Giuseppe, ed., Alejandro CATALA, ed., Bistra DILKINA, ed. and others. ECAI 2020 : 24th European Conference on Artificial Intelligence. Amsterdam: IOS Press, 2020, pp. 2433-2440. Frontiers in Artificial Intelligence and Applications. 325. ISSN 0922-6389. eISSN 1879-8314. ISBN 978-1-64368-100-9. Available under: doi: 10.3233/FAIA200375eng
kops.title.conference24th European Conference on Artificial Intelligence - ECAI 2020eng
relation.isAuthorOfPublicationecb6e671-5807-41bc-bb31-f07a9b7a7c63
relation.isAuthorOfPublication.latestForDiscoveryecb6e671-5807-41bc-bb31-f07a9b7a7c63
source.bibliographicInfo.fromPage2433eng
source.bibliographicInfo.seriesNumber325eng
source.bibliographicInfo.toPage2440eng
source.contributor.editorDe Giacomo, Giuseppe
source.contributor.editorCatala, Alejandro
source.contributor.editorDilkina, Bistra
source.flag.etalEditortrueeng
source.identifier.eissn1879-8314eng
source.identifier.isbn978-1-64368-100-9eng
source.identifier.issn0922-6389eng
source.publisherIOS Presseng
source.publisher.locationAmsterdameng
source.relation.ispartofseriesFrontiers in Artificial Intelligence and Applicationseng
source.titleECAI 2020 : 24th European Conference on Artificial Intelligenceeng

Dateien

Originalbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
Henzinger_2-1gbobv4s6kgjt1.pdf
Größe:
1.56 MB
Format:
Adobe Portable Document Format
Beschreibung:
Henzinger_2-1gbobv4s6kgjt1.pdf
Henzinger_2-1gbobv4s6kgjt1.pdfGröße: 1.56 MBDownloads: 175