AI RESEARCH
Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization
arXiv CS.AI
•
ArXi:2605.10974v1 Announce Type: cross Certified verification of transformer attention requires bounding the softmax function over interval constraints on the pre-softmax scores. Existing verifiers relax softmax ndependently of the downstream objective, leaving avoidable slack.