Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization

O artigo apresenta o Vertex-Softmax, um novo método para verificação certificada da atenção de transformadores, otimizando exatamente a função softmax. Ele prova que o ótimo é atingido em um vértice da caixa de restrição, resultando em um limite mais rigoroso.