12 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…
SecureVibeBench: Benchmarking Secure Vibe Coding of AI Agents via Reconstructing Vulnerability-Introducing Scenarios
Junkai Chen, Huihui Huang, Yunbo Lyu +10
Large language model-powered code agents are rapidly transforming software engineering, yet the security risks of their generated code have become a critical concern. Existing benc…
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…