软件工程领域顶级会议ICSE'25近日公布论文录用名单，程序设计语言研究室一篇论文《The Fact Selection Problem in LLM-Based Program Repair》被该会议录用。

标题： The Fact Selection Problem in LLM-Based Program Repair.

作者： Nikhil Parasaram, Huijie Yan, Boyu Yang, Zineb Flahy, Abriele Qudsi, Damian Ziaber, Earl T. Barr, Sergey Mechtaev.

摘要： 这项工作旨在研究如何通过组合从错误程序和外部来源中提取的事实（facts）来为基于LLM的自动程序修复（APR）构建有效的提示（prompts）。具体而言，每个事实都有助于修复某些错误，如果没有这些事实，这些错误将无法解决或只能以较低的成功率修复。重要的是，我们发现程序修复提示的有效性对所用事实的数量呈非单调性；使用过多的事实会导致次优的结果。这些见解使我们定义了“事实选择问题”：确定要包含在提示中的最佳事实集，以最大化LLM在给定任务实例上的性能。我们发现，对于错误修复，并不存在一个“一刀切”的最佳事实集。