EN

← 人物

Fabian Circelli

研究者

数学机器学习

现任 数学博士生 · 剑桥大学

sites.google.com ↗

AI4S.fyi 最新记录

评论 · 2026-10-06

Hansen 等:Lean 编译通过,不等于原文的证明成立

经历

  1. 剑桥大学数学博士生

出处maths.cam.ac.uk教育与工作经历读自本人主页或雇主页面;论文在 arXiv 上核对过署名。LinkedIn 只读本人公开发布的帖子;GitHub 只给链接。

照片来自 sites.google.com · 联系 →

他们写的评论

这一页有错误或遗漏?告诉我,会更正或撤下。 联系 →