2 papers
cs.SE2026
Rover: Context-aware Conflict Resolution with LLM
Qingyu Zhang, Junzhe Li, Jiayi Lin +2
Code merging is a significant challenge, particularly in large-scale projects. Existing solutions, including program analysis and machine learning, show promise but face critical l…
cs.CR2026
Neuro-symbolic Static Analysis with LLM-generated Vulnerability Patterns
Penghui Li, Songchen Yao, Josef Sarfati Korich +4
In this work, we present MoCQ, a neuro-symbolic static analysis framework that leverages large language models (LLMs) to automatically generate vulnerability detection patterns. Th…