Showing cs.AIShow all
2 papers · 1 filter
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…