智能AI None Vertex-Softmax：通过精确 Softmax 优化进行严格变压器验证 10974v1 Announce Type: new Abstract: Certified verification of transformer attention requires bounding the softmax funct the and score 2026-05-13 Navid Rezazadeh, Arash Gholami Davoodi