Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Geometric Path Enumeration for Equivalence Verification of Neural Networks

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Samuel Teuber, Marko Kleine Büning, Philipp Kern und Carsten Sinz
In:33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021)
Verleger:IEEE
Jahr:2021
Seiten:200-208
DOI:10.1109/ICTAI52525.2021.00035

BibTeX

@InProceedings{nnequiv,
  author        = {Samuel Teuber and
                   Marko Kleine B{\"{u}}ning and
                   Philipp Kern and
                   Carsten Sinz},
  booktitle     = {33rd {IEEE} International Conference on Tools
                   with Artificial Intelligence ({ICTAI} 2021)}, 
  title         = {Geometric Path Enumeration for Equivalence
                   Verification of Neural Networks}, 
  publisher     = {{IEEE}},
  year          = {2021},
  venue         = {Washington, {DC}, {USA}},
  eventdate     = {2021-11-01/2021-11-03},
  month         = nov,
  pages         = {200--208},
  doi           = {10.1109/ICTAI52525.2021.00035}
}