Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization

El artículo introduce Vertex-Softmax, un nuevo método para la verificación certificada de la atención de transformadores mediante la optimización exacta de la función softmax. Demuestra que el óptimo exacto se alcanza en un vértice del cuadro de restricción, lo que produce un límite más ajustado.