


AI4S.fyi 最新记录
经历
- 伦伦敦国王学院应用数学讲师
出处kcl.ac.uk教育与工作经历读自本人主页或雇主页面;论文在 arXiv 上核对过署名。LinkedIn 只读本人公开发布的帖子;GitHub 只给链接。
照片来自 kcl.ac.uk · 联系 →
他们写的评论
- 2026-10-06Hansen 等:Lean 编译通过,不等于原文的证明成立
这一页有错误或遗漏?告诉我,会更正或撤下。 联系 →



出处kcl.ac.uk教育与工作经历读自本人主页或雇主页面;论文在 arXiv 上核对过署名。LinkedIn 只读本人公开发布的帖子;GitHub 只给链接。
照片来自 kcl.ac.uk · 联系 →
这一页有错误或遗漏?告诉我,会更正或撤下。 联系 →