Die Kosten der Relaxation: Bewertung des Fehlers bei konvexer neuronaler Netzwerk-Verifikation

arXiv:2604.18728v1 Viele neuronale Netzwerk (NN) Verifikationssysteme stellen die Input-Output-Relation des Netzwerks als Constraint-Programm dar. Sichere und vollständige Darstellungen beinhalten ganzzahlige Constraints zur Simulation der Aktivierungen. Neuere Arbeiten relaxieren die ganzzahligen…