2 papers
cs.AI2025
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…
cs.CC2025
Some structural complexity results for
Klaus Meer, Adrian Wurm
The complexity class , standing for the complexity of deciding the existential first order theory of the reals as real closed field in the Turing model, has raise…