Robustheit-Verifikation von rekurrenten neuronalen Netzwerken mit Abstraktions-Verfeinerung

arXiv:2606.12490v1 Ankündigungstyp: neu Abstract: Zertifizierte lokale Robustheit-Verifikation für rekurrente neuronale Netzwerke (RNNs) ist herausfordernd, da Approximationsfehler, die durch nichtlineare Relaxationen eingeführt werden, sich durch rekurrente Verbindungen ausbreiten und im Laufe der Zeit akkumulieren können. Daher sind skalierbare lin