paperbot · PL 论文追踪

全部论文 待读 收藏

P1 Leveraging Human Insights for Enhanced LLM-based Code Repair

利用人类洞察增强基于大语言模型的代码修复
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 5/10 · 论文属于 PL 与 AI 交叉,将静态分析反馈、提交历史模式挖掘和修复经验检索用于 LLM 代码修复,与用户“LLM 作为工具改进程序分析/修复”方向有部分重合;但其核心目标是提升 LLM 补丁生成能力,并非静态分析、形式化验证、浮点分析或贝叶斯程序分析本身,因此不算正中核心。引用 0 inbox
Yifan Zhang, Kevin Leach
crossref: 2026-09-12

AI 速览

一句话:提出融合提交历史模式挖掘、动态反馈迭代与历史修复经验检索的LLM代码修复框架,使补丁生成更接近人类迭代式推理。

大语言模型在自动化代码修复上展现出潜力,但往往缺乏人类开发者那种细致、迭代式的推理,也难以有效利用历史上下文。本文提出一个增强LLM修复能力的框架,引入类人机制:从提交历史中挖掘反复出现的修复模式并抽取抽象修复模式;采用动态反馈回路,利用测试与静态分析的自动反馈,并可选地结合人工指导来迭代精化补丁;同时构建向量化的历史修复经验库,支持上下文感知的推理。该框架旨在以更接近人类、更具迭代性且扎根于上下文的问题解决策略来引导LLM,从而提升自动补丁生成的准确性与效率。摘要未报告具体实验评估结果,属于框架性提案。

问题
基于LLM的自动化代码修复缺乏人类开发者所具备的迭代推理能力,也难以有效利用历史修复上下文,导致补丁生成质量受限。
方法
挖掘提交历史中的重复修复模式以抽取抽象修复模式,结合测试与静态分析提供的自动反馈(及可选人工指导)迭代精化补丁,并借助向量化历史修复经验库实现上下文感知推理。
评估
摘要未给出具体实验设置或结果,仅将提升自动补丁生成的准确性与效率作为框架目标,并以测试与静态分析反馈作为迭代精化的验证信号。
原文摘要(Abstract)

Large Language Models (LLMs) show promise for automating code repair but often lack the nuanced, iterative reasoning and effective use of historical context employed by human developers. We propose a framework to enhance LLM-based repair by incorporating human-inspired mechanisms: mining commit histories for recurring patterns, employing dynamic feedback loops, and facilitating reasoning over historical repair experiences. By extracting abstract fix patterns, iteratively refining patches using automated feedback (from tests and static analysis) alongside optional human guidance, and leveraging a vectorized repository of past experiences for context-aware reasoning, our approach seeks to improve automated patch generation. This framework aims to increase the accuracy and efficiency of repairs by guiding LLMs with more human-like, iterative, and context-grounded problem-solving strategies.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot9139,
  title = {Leveraging Human Insights for Enhanced LLM-based Code Repair},
  author = {Yifan Zhang and Kevin Leach},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3731672}
}