abstraction-refinement

#abstraction-refinement

通过ReLU催化的抽象精化实现Transformer的精确验证

arXiv cs.AI ↗ · 2026-05-15 缓存

本文提出了一种新颖的Transformer验证方法，利用ReLU表示点积的精确但非线性的边界，从而实现精确且高效的验证。该方法在情感分析模型上优于现有最先进的基线方法。

0 人收藏 0 人点赞