待验证50% 置信事实精确时间
Lean Verified Transformers 项目使用交互式定理证明器 Lean 从零开始证明一系列 Transformer 的不变量
1
来源数
50%
置信度
长期有效
时效性
2026/9/25
首次发现
来源
涉及实体
相关事实
待验证2019年Dehghani等人提出的Universal Transformer首次将Transformer层设计为可重复执行的循环单元，并引入自适应计算时间机制动态决定循环次数69% 相似待验证基于Transformer的版面分析模型如LayoutLMv3和DiT（Document Image Transformer）已达到商业系统的精度水平68% 相似已验证Transformers库由Hugging Face维护，提供了数千个预训练模型的统一接口64% 相似待验证《A Mathematical Framework for Transformer Circuits》由Anthropic团队提出62% 相似待验证Switch Transformer和Mixtral系列广泛采用了MoE架构61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/949559API
curl https://kongchang.com/api/v1/knowledge/claims/949559MCP
get_claim(id=949559)