哥伦比亚大学
2025年9月 – 2029年5月
计算机科学与应用数学，文学学士（B.A.）
你好！
我是哥伦比亚大学本科二年级的学生，研究方向为大模型的机理分析与面向软件工程的智能体系统，尤其关注模型表征分析与智能体输出的验证。我希望通过更细致的观察与分析，深入理解大语言模型的工作方式，并将可解释性方法融入智能体系统。
联系邮箱：hj2742 [at] columbia.edu
教育背景
北京市十一学校
2021年9月 – 2025年5月
高中
科研与工作经历
科研助理，哥伦比亚大学 ARiSE Lab
2025年9月 – 至今
指导教师：Baishakhi Ray 教授、Simin Chen 教授。
AI 驱动的软件工程。可信编程智能体、监控与验证系统、智能体训练。
科研助理，哥伦比亚大学 DitecT Lab
2026年1月 – 2026年5月
指导教师：Sharon Di 教授。
LLM 后训练。提升 LLM 与人类的行为一致性，服务于社会科学研究。
科研助理，北京大学 PILLAR Lab
2026年5月 – 至今
指导教师：潘亮铭教授。
机理可解释性。表征分析与工程、自然语言自编码器（NLA）和稀疏自编码器（SAE）。
研究工程师，KAV Labs
2026年9月 – 至今
与哥大同仁共同打造的初创项目，结合策略推断与形式化验证开发的企业级软件工程智能体。
研究成果
SIGIL: Securing Agentic Code Generation with Intent Code Graph Learning
已投稿 ICLR 2027，审稿中 PDF
提出一种面向 Coding Agent 的提示注入检测方法。构建问题子任务与生成代码块之间的语义关联图，并利用图神经网络进行异常检测，识别非必要且具有潜在风险的子任务。
关键词：软件工程智能体、提示注入、模型劫持、图神经网络
Does Steering Break Your Model? A Multi-Dimensional Evaluation Suite for LLM Steering Methods
已投稿 ICLR 2027，审稿中 arXiv
开发激活操控的评估框架，从有效性、表征工程的副作用、鲁棒性、泛化能力和数据效率等维度，对比多种操控方法。
关键词：表征工程、激活操控、表征工程的副作用
荣誉奖项
- 国际人工智能奥林匹克（IOAI）铜牌，全球第99名
- 国际人工智能奥林匹克中国区学术活动（NOAI）High Distinction，全国第5名
- 中国计算机学会（CCF）全国智能无人车大赛Distinction，全国第8名
- 美国数学竞赛（AMC）130.5分，荣誉榜，全球前5%
- 美国数学邀请赛（AIME）12分，全球前5%
- 国际数学建模挑战赛（IMMC）Meritorious Award
学术服务
国际人工智能奥林匹克中国区学术活动（NOAI）科学委员会成员
2025年11月 – 2026年10月
设计竞赛试题与模拟试卷。
美国-北美人工智能奥林匹克（USA-NA-AIO）考官
2026年1月 – 2026年8月
设计并验证竞赛试题与模拟试卷。
编程技能
Java, Python, PyTorch