2 papers
cs.SE2026
GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation
Yueke Zhang, Zihan Fang, Kevin Leach +1
Code large language models (LLMs) can generate syntactically plausible programs that nevertheless violate hidden semantic constraints. Existing execution-feedback training methods…
cs.SE2026
Constraint-Guided Multi-Agent Decompilation for Executable Binary Recovery
Yifan Zhang, Xiaohan Wang, Yueke Zhang +2
Decompilation -- recovering source code from compiled binaries -- is essential for security analysis, malware reverse engineering, and legacy software maintenance. However, existin…