2 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
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…