Vertex-Softmax: Straffe Transformer-Verifizierung durch exakte Softmax-Optimierung

arXiv:2605.10974v1 Ankündigungstyp: neu Zusammenfassung: Die zertifizierte Verifizierung von Transformer-Attention erfordert das Begrenzen der Softmax-Funktion über Intervallbeschränkungen der Pre-Softmax-Scores. Bestehende Verifizierer entspannen Softmax unabhängig vom nachgelagerten Ziel, was vermeidbaren Spielraum hinterlässt