9 papers
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…
AgentForge: An Immersive Role-Playing Platform for Learning Agentic Software Engineering
Zihan Fang, Yueke Zhang, Yu Huang
Agentic AI is increasingly used to coordinate planning, implementation, review, and testing in software development, yet it often offers limited transparency into its decisions and…
SCOPE: Leveraging Subgoal Critiques for Code Generation
Yueke Zhang, Yifan Zhang, Zihan Fang +3
Code generation with large language models (LLMs) remains unreliable because generated programs can appear correct while still violating key semantic requirements in the natural la…
From Conversation to Contribution: Characterizing Coding Agent in Open-Source Software
Zihan Fang, Yueke Zhang, Ningzhi Tang +3
AI coding assistants such as GitHub Copilot and Cursor have evolved from code-suggestion tools into conversational collaborators, enabling vibe-coding workflows in which developers…
VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving
Manish Acharya, Zhenyu Liao, Yueke Zhang +3
LLM-based formal provers often collapse rich verifier signals (syntax errors, type mismatches, partial goal progress) into a binary pass/fail bit. We present VERITAS, a zero-shot f…
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…