Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
यह शोधपत्र एक नवीन ट्रांसफॉर्मर सत्यापन ढांचे का प्रस्ताव करता है जो सेल्फ-अटेंशन परतों में डॉट उत्पादों को सटीक रूप से सीमित करने के लिए ReLU-आधारित एब्स्ट्रैक्शन का लाभ उठाकर परिशुद्धता को बढ़ाता है, जिससे मौजूदा उत्तल ओवर-एप्रोक्सिमेशन (convex over-approximation) विधियों की तुलना में गलत अलार्मों को काफी कम किया जा सकता है और साथ ही स्वीकार्य दक्षता भी बनाए रखी जा सकती है।