3 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.AI2024
Robustness Verifcation in Neural Networks
Adrian Wurm
In this paper we investigate formal verification problems for Neural Network computations. Of central importance will be various robustness and minimization problems such as: Given…
cs.CC2023
Complexity of Reachability Problems in Neural Networks
Adrian Wurm
In this paper we investigate formal verification problems for Neural Network computations. Various reachability problems will be in the focus, such as: Given symbolic specification…