李戈
北京大学博雅特聘教授
李戈，北京大学博雅特聘教授，计算机学院长聘教授，人工智能研究院双聘教授，教育部长江学者，中国计算机学会（CCF）软件工程专委会副主任。国际上 “基于深度学习的程序理解与生成”研究的早期推动者，多项成果被国际学者认为是“首创性成果”并被广泛引用，所在研究团队在“基于大模型的软件开发技术”领域一直保持活跃状态，是国际上具有重要影响力的研究力量。科研转化成果aiXcoder为航天领域的重大工程、金融与IT领域的多家大型企业及百万开发者服务。
演讲主题
面向程序逻辑推理的大语言模型能力突破
大语言模型（LLM）在辅助软件开发方面已经显露出明显的作用。然而，LLM在基于状态的推理和泛化方面存在的问题也日益凸显，这些基础能力方面的固有缺陷，正日益明显地表现在许多程序生成、程序理解及其他软件开发任务中。本报告即站在逻辑推理能力的视角，对当前LLM的一些基础问题和潜在研究进展进行探讨，以期推动LLM能力的进一步提升，也推动基于LLM的智能化软件工程的进步。 大纲： (1)当前大语言模型基础架构的问题讨论； (2)我们所期待的大语言模型的几个特征； (3)关于大语言模型发展的几个观点； (4)关于智能化软件开发的几个观点；
