Intervall-Zertifizierungen für mehrschichtige Perceptrons via Lattice Traversal

arXiv:2607.08773v1 Ein rigoroser theoretischer Rahmen für ein grundlegendes Problem der AI-Sicherheit wird präsentiert, nämlich adversariale Robustheit. Insbesondere wird gezeigt, dass das adversariale Robustheitsproblem auf ein Lattice-Traversal-Problem reduziert werden kann.