北京大学程序设计语言研究室本科三年级学生孔启皓（导师：熊英飞长聘副教授）获得了国家自然科学基金本科生项目的资助，项目

题为《生成式大模型优化具有正确性保障的代码生成》。

该项目基于已有研究，提出“从大模型提取策略以增强符号系统”的创新思路，旨在构建兼具正确性保障与规模化能力的程序合成系统。

该项目表明课题组在生成式大语言模型与符号系统相结合的研究方向上的持续突破与创新。