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.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…
q-bio.MN2024
On Hybrid Gene Regulatory Networks
Adrian Wurm, Honglu Sun
In this work, we study a class of hybrid dynamical systems called hybrid gene regulatory networks (HGRNs) which was proposed to model gene regulatory networks. In HGRNs, there exis…