3 papers
cs.LO2026
Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
Manqing Zhang, Yunwei Dong, Lingru Zhou +2
Formal verification using interactive theorem provers ensures high-quality software. However, writing proof scripts for interactive theorem provers is labor-intensive and requires…
cs.SE2026
From Guessing to Seeing: Enhancing LLM-Based Program Repair via Trace-Guided Multi-strategy Debate
Jiaqing Wu, Tong Wu, Manqing Zhang +2
Automated Program Repair (APR) aims to resolve software bugs without human intervention, but complex logic errors and silent failures remain challenging. Existing LLM-based APR met…
cs.SE2026
OODEval: Evaluating Large Language Models on Object-Oriented Design
Bingxu Xiao, Yunwei Dong, Yiqi Tang +4
Recent advances in large language models (LLMs) have driven extensive evaluations in software engineering. however, most prior work concentrates on code-level tasks, leaving softwa…