We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Neural and Evolutionary Computing

Title: Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations

Abstract: In this paper we present an algebraic approach to the precise and global verification and explanation of \emph{Rectifier Neural Networks}, a subclass of \emph{Piece-wise Linear Neural Networks} (PLNNs), i.e., networks that semantically represent piece-wise affine functions. Key to our approach is the symbolic execution of these networks that allows the construction of semantically equivalent \emph{Typed Affine Decision Structures} (TADS). Due to their deterministic and sequential nature, TADS can, similarly to decision trees, be considered as white-box models and therefore as precise solutions to the model and outcome explanation problem. TADS are linear algebras which allows one to elegantly compare Rectifier Networks for equivalence or similarity, both with precise diagnostic information in case of failure, and to characterize their classification potential by precisely characterizing the set of inputs that are specifically classified or the set of inputs where two network-based classifiers differ. All phenomena are illustrated along a detailed discussion of a minimal, illustrative example: the continuous XOR function.
Comments: To appear in Software Tools for Technology Transfer
Subjects: Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)
Cite as: arXiv:2301.08013 [cs.NE]
  (or arXiv:2301.08013v1 [cs.NE] for this version)

Submission history

From: Gerrit Nolte [view email]
[v1] Thu, 19 Jan 2023 11:35:07 GMT (2430kb,D)

Link back to: arXiv, form interface, contact.