近日，我院王焱副教授与2021级计算机科学与技术专业本科生丁玲、2023级计算技术专业硕士研究生孙杰陈为共同一作的论文《T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics》入选软件工程领域国际顶级会议OOPSLA 2026。论文合作者还包括来自美国得克萨斯大学达拉斯分校等高校的学者。

论文针对当前大语言模型在程序运行过程理解方面存在的不足，提出了一种基于执行语义学习的新方法T-REX。该方法通过利用程序真实运行过程中产生的信息，引导大语言模型学习程序状态变化和执行逻辑，从而提升其对程序运行行为的理解与推理能力。研究成果有助于提高大模型在程序分析、错误检测和软件调试等任务中的表现，为人工智能赋能软件开发提供了新的技术路径。实验结果表明，T-REX能够显著提升大语言模型对程序执行过程的预测能力，在多个公开基准测试中取得优于现有主流方法的效果，并在部分任务上超过GPT-4o等先进模型。

OOPSLA 2026（ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications）是软件工程与程序设计语言领域国际顶级学术会议之一，也是中国计算机学会（CCF）推荐的A类国际学术会议。该会议长期关注软件工程、程序分析、程序设计语言以及人工智能辅助软件开发等前沿研究方向，每年吸引全球众多知名高校和科研机构的学者参会交流。

撰稿：王焱

审核：章宁、高胜