Checking extracted rules in Neural Networks

Adrian Wurm

In this paper we investigate formal verification of extracted rules for Neural Networks under a complexity theoretic point of view. A rule is a global property or a pattern concern…