3 papers
math.LO2026
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.
cs.SE2026
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…
cs.SE2024
When Fine-Tuning LLMs Meets Data Privacy: An Empirical Study of Federated Learning in LLM-Based Program Repair
Wenqiang Luo, Jacky Wai Keung, Boyang Yang +5
Software systems have been evolving rapidly and inevitably introducing bugs at an increasing rate, leading to significant losses in resources consumed by software maintenance. Rece…