李尚敖（Leonard Li / Shang'ao Li）

研究兴趣

我致力于通过符号方法与神经学习的有机结合，提升 AI 系统的推理能力。 我的研究探索形式推理、神经符号架构和交互式验证如何提升语言模型与自主智能体的可靠性与可解释性。

关键词： 神经符号 AI · 大模型推理 · 强化学习 · 元学习 · 持续学习 · AI/ML 内在机理 · 形式化验证 · 交互式智能体

教育背景

计算机工程 博士，石溪大学（Stony Brook University）
2026 年 8 月 - 至今（入学中）

信息与计算科学 学士（计算机强基计划）
南京大学 计算机学院
2022 年 9 月 - 2026 年 6 月 · GPA: 4.60/5.00（排名 3/25）

科研经历

• 慕尼黑大学（LMU Munich） · 2025 年 11 月 - 至今
  研究实习生，导师：Dr. Yao Zhang
• 南京大学 KRistal 课题组 · 2025 年 10 月 - 至今
  研究实习生，导师：赵一铮 副教授
• 独立研究 · 2025 年 7 月 - 至今
  研究实习生，导师：Dr. Zhen Han
• UIUC ScaleML Lab · 2025 年 4 - 6 月
  研究实习生，导师：Prof. Tong Zhang
• 华为 2012 实验室 · 2025 年 7 - 9 月
  研究实习生，主管：桂剑锋
• 北卡罗来纳州立大学 QUEST Lab · 2024 年 7 - 11 月
  研究实习生，导师：Prof. Yuan Liu

主要荣誉

• 国家奖学金（全国前 0.2%），中国教育部，2025 年
• 全国一等奖（全国冠军），HITCTF 2025 网络安全竞赛
• 全国三等奖，中国研究生网络安全创新大赛，2024 年
• 基础学科特别奖学金 一等奖（两次），2022-2024 年
• 南京大学 优秀学生标兵，2023-2024 年