Towards Verifiable Transformers: Solver-Checkable Circuit Explanations

Esta pesquisa introduz os Transformers Verificáveis, uma estrutura para converter circuitos de Transformer localizados por tarefa em afirmações limitadas e verificáveis por solver. Permite a verificação de propriedades como equivalência funcional e robustez através de codificação SMT direta ou mediada por substituto.