Sind Sicherheitsgarantien in neuronalen Netzen sicher? Wie man vertrauenswürdige Robustheitszertifizierungen berechnet

arXiv:2606.23858v1 Announce Type: new Abstract: Eine primäre Herausforderung in AI-Sicherheit ist die Existenz adversarialer Beispiele — leicht verfälschte Eingaben, die ein neuronales Netz (NN) zu Fehlklassifizierungen führen. Um dieses Problem zu mindern, konzentriert sich aktuelle Forschung auf die Berechnung von Robustheitszertifizierungen