EN

← 人物

Alexander Bastounis

研究者

数学机器学习

现任 应用数学讲师 · 伦敦国王学院

kcl.ac.uk ↗

AI4S.fyi 最新记录

评论 · 2026-10-06

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

经历

  1. 伦敦国王学院应用数学讲师

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

照片来自 kcl.ac.uk · 联系 →

他们写的评论

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