Naukowcy zaproponowali metodę Vertex-Softmax do formalnej weryfikacji transformerów poprzez dokładną optymalizację funkcji softmax. Podejście umożliwia bardziej dokładne obliczanie granic gwarancji bezpieczeństwa modeli, co jest kluczowe dla zastosowań krytycznych. Badanie adresuje problem ograniczeń dotychczasowych metod weryfikacji transformerów i otwiera nowe możliwości dla bardziej wiarygodnych systemów AI.