Vertex-Softmax: scherpe transformerverificatie via exacte softmax-optimalisatie

arXiv:2605.10974v1 Aankondigingstype: nieuw Samenvatting: Gecertificeerde verificatie van de aandacht van de transformator vereist het begrenzen van de softmax-functie over intervalbeperkingen op de pre-softmax-scores. Bestaande verificateurs versoepelen de softmax onafhankelijk van de stroomafwaartse doelstelling, waardoor er vermijdbare speling overblijft. We bewijzen dat het exacte optimale van dit scoreboxprobleem wordt bereikt op een hoekpunt van het constraintbox, en stellen een drempelstructuurstelling op die aantoont dat, na het sorteren van de objectieve coëfficiënten, de opt