Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Codoku: Renewable Program-Reasoning Challenges for Frontier Coding Agents
Cong Li, Hao Sun, Zenan Li +1
Existing program-reasoning benchmarks ask large language models to predict a program's behavior on a given input. Coding agents break two assumptions on which these benchmarks rest…
cs.SE2026
Agentic Harness for Real-World Compilers
Yingwei Zheng, Cong Li, Shaohua Li +2
Compilers are critical to modern computing, yet fixing compiler bugs is difficult. While recent large language model (LLM) advancements enable automated bug repair, compiler bugs p…
cs.SE2026
Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
Zenan Li, Ziran Yang, Deyuan He +7
Large language models (LLMs) can generate plausible code but offer limited guarantees of correctness. Formally verifying that implementations satisfy specifications requires constr…