论文
Lean Verified Transformers
使用Lean定理证明器对Transformer架构进行形式化验证的研究工作，从零开始证明Transformer的关键数学不变量，探索形式化验证在深度学习领域的应用
时间轴 (近 90 天)
9月25日
Lean Verified Transformers 项目使用交互式定理证明器 Lean 从零开始证明一系列 Transformer 的不变量
待验证50%
9月25日
作者以推测（speculate）的态度探讨将同样的严格证明推广到世界上其余代码的难度，属于探索性思想实验
待验证50%