3 citations · 3 across the 8 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
SWE-Edit: Rethinking Code Editing for Efficient SWE-Agent
Yikai Zhang, Jiaxin Pei, Kenan Li +9
Large language model agents have made strong progress on software engineering, yet current systems suffer from a context coupling problem: the standard code editing interface confl…
cs.SE2026
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation
Dong Xu, Jialun Cao, Guozhao Mo +9
Formal specification is essential for rigorous program verification, yet writing correct specifications remains costly and difficult to automate. Although large language models (LL…