An Algebra of Transformers 提出 Transformer 逻辑代数

该论文提出基于功能分解的 Transformer 代数系统，包含顺序与并行组合、递归及隐藏层抽象。这是首次尝试逻辑建模 Transformer，可用于验证基于 Transformer 的应用的正确性。