Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization

Vertex-Softmax provides tight transformer verification by proving exact softmax optimization over interval constraints attains optimum at constraint box vertices, reducing candidates to log-linear complexity.