Leonard Li

李尚敖(Leonard Li / Shang'ao Li)

构建融合符号方法与神经学习的推理系统

石溪大学 计算机工程方向 博士生(2026 年秋季入学)
南京大学 计算机学院 信息与计算科学(计算机强基计划)学士(预计 2026 年 6 月毕业)

邮箱: leonardlsa@163.com
GitHub: @LeonardNJU · ORCID

语言: 中文(母语)· 英语(TOEFL 101)· 日语(中级)· 德语(初级)

最近动态

  • 2026 年 6 月

    招募研究实习生。我正在帮我所在的 LMU 慕尼黑 课题组招募研究实习生。课题组方向为强化学习与大模型 / Web Agent(近期一篇工作被 ICLR 2026 接收),目前在继续推进 RL 在垂类 Agent 应用上的工作。远程;提供充足的 RL / LLM 算力。

    要求:可投入全职(每周 ≥40h)或兼职(每周 ≥20h);有丰富的 RL 实践经验、懂相关理论,能独立搭建 Agent 系统。表现突出者通常可在产出工作中获得论文署名。

    开始时间:随时接受,预留约一周适应期。有意者请邮件联系我:leo@lsamc.website,附简历 + 简要说明你做过的相关项目,建议附上相关 GitHub repo 链接——RL / Agent 方向最佳,其他方向有突出项目经验同样欢迎。也欢迎先聊聊了解更多。

研究兴趣

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

关键词: 自主智能体 · 强化学习与奖励建模 · ML 机理 · 形式方法 · 持续学习 · 量子计算(第二方向)

教育背景

计算机工程 博士,石溪大学(Stony Brook University)
2026 年 8 月 - 至今(入学中)

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

科研经历

  • 微软亚洲研究院(MSRA) · 2026 年 4 月 - 至今
    研究实习生,导师:Ziyu Zhou
  • 慕尼黑大学(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 网络安全竞赛
  • 全国一等奖,熵密杯密码挑战赛(CACR),2025 年
  • 南京大学 校级优秀学生标兵,2024-2025 年
  • 基础学科特别奖学金 一等奖(两次),2023-2025 年