10 papers
SOP=SOP
Artem Chernikov
The classes of SOP and SOP first-order theories coincide. This answers a question of Džamonja and Shelah from 2004.
A Single Patch Is Not Enough: Deterministic Fusion of Repair Candidates
Boyang Yang, Xiangliang Hu, Luyao Ren +4
Modern LLM coding agents are commonly evaluated using pass@k, but developers typically apply a single final patch in real-world settings. This pass@k-to-pass@1 gap is a post-genera…
HELO-APR: Enhancing Low-Resource Program Repair through Cross-Lingual Knowledge Transfer
Zhipeng Wang, Boyang Yang, Yidong Wan +5
Large Language Models (LLMs) perform well on automatic program repair (APR) for high-resource programming languages (HRPLs), but their effectiveness drops sharply in low-resource p…
PAFT: Preservation Aware Fine-Tuning for Minimal-Edit Program Repair
Boyang Yang, Zijian Cai, Shunfu Jin +1
Large language models (LLMs) are effective for automated program repair, but plausible patches that pass the full test suite often rewrite more code than necessary, increasing revi…
Beyond Localization: Recoverable Headroom and Residual Frontier in Repository-Level RAG-APR
Pengtao Zhao, Boyang Yang, Bach Le +2
Repository-level automated program repair (APR) increasingly treats stronger localization as the main path to better repair. We ask a more targeted question: once localization is s…
Unlocking LLM Repair Capabilities Through Cross-Language Translation and Multi-Agent Refinement
Wenqiang Luo, Jacky Wai Keung, Boyang Yang +4
Recent advances in leveraging LLMs for APR have demonstrated impressive capabilities in fixing software defects. However, current LLM-based approaches predominantly focus on mainst…