Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization

Die Arbeit stellt Vertex-Softmax vor, eine neue Methode zur zertifizierten Verifikation von Transformer-Aufmerksamkeit durch exakte Softmax-Optimierung. Es wird bewiesen, dass das exakte Optimum an einem Eckpunkt des Beschränkungsbereichs erreicht wird, was eine engere obere Schranke liefert.