smt

本文介绍了可验证Transformer（Verifiable Transformers），这是一个将任务局部化的Transformer电路转换为有界的、求解器可验证的声明框架，从而能够对功能等价性、边必要性及鲁棒性等属性进行形式化验证。