3 papers
cs.AI2026
ANNEAL: Adapting LLM Agents via Governed Symbolic Patch Learning
Safayat Bin Hakim, Keyan Guo, Wenkai Tan +3
LLM-based agents can recover from individual execution errors, yet they repeatedly fail on the same fault when the underlying process knowledge--operator schemas, preconditions, an…
cs.SE2025
Semantically-Equivalent Transformations-Based Backdoor Attacks against Neural Code Models: Characterization and Mitigation
Junyao Ye, Zhen Li, Xi Tang +3
Neural code models have been increasingly incorporated into software development processes. However, their susceptibility to backdoor attacks presents a significant security risk.…
cs.SE2025
SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments
Yiwei Hu, Zhen Li, Kedie Shu +5
The increasing complexity of software has led to the steady growth of vulnerabilities. Vulnerability repair investigates how to fix software vulnerabilities. Manual vulnerability r…