2 papers
cs.SE2026
RepoLaunch: Automating Build and Management of Code Repositories across Languages and Platforms
Kenan Li, Rongzhi Li, Linghao Zhang +17
Language model (LM) agents have driven substantial progress in automated software engineering (SWE), yet building and testing software repositories at scale remains a largely manua…
cs.PL2026
Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
Tianchi Li, Zhenyu Yan, Junhao Liu +2
We propose a novel framework that provides constructive feedback to an LLM in the "guess-and-check" paradigm by formally verifying its own thinking process and detecting local reas…