arXiv cs.AI· Yong Wang, Zhiyan Wang, Hexiao Kang·· 13 小时前AI 评分26
为 Transformer 建立一套代数：基于功能分解的逻辑建模
An Algebra of Transformers
AI 导读
一篇 arXiv 论文提出面向 Transformer 的代数，以功能分解为原子动作，包含顺序组合、并行组合、用于反馈的递归和用于隐藏层的抽象。作者称这是首次从逻辑上对 Transformer 建模，可用于验证基于 Transformer 的应用的正确性。
正文 · AI 翻译
摘要：关于变换器的理论研究，主要集中于可计算性分析，例如无界精度变换器的图灵完备性、无界精度变换器可并行化的优势以及有界精度变换器的局限性。本文为变换器赋予一种用于推理的代数，该代数在很大程度上依赖于变换器的函数分解结果。该代数以函数分解为原子动作，包含顺序组合与并行组合、用于反馈的递归以及用于隐藏层的抽象。据我们所知，这是对变换器进行逻辑建模的首次尝试，可用于验证基于变换器的应用的正确性。
| 主题： | 计算机科学中的逻辑（cs.LO）；人工智能（cs.AI） |
| 引用为： | arXiv:2610.36795 [cs.LO] |
| （或本版本的 arXiv:2610.36795v1 [cs.LO]） | |
| https://doi.org/10.48550/arXiv.2610.36795 由 DataCite 颁发的 arXiv DOI（待注册） |
提交历史
来自：Yong Wang [查看邮箱]
[v1]
2026年10月27日星期二 07:59:05 UTC（35 KB）
来源：arXiv cs.AI · arxiv.org