2 citations · 4 across the 14 of their papers we have counts for
7 papers · 1 filter
JevCoder: When Does Decision Delegation Pay Off in Code Repair?
Jiahao Zhang, Yifan Zhang, Yu Huang
A coding agent repeatedly makes decisions as it repairs code. These decisions shape repair trajectories and affect the token cost of successive model requests. We ask which repair…
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…
Coupling Planning with Episodic Memory in LLM Agents for Software Issue Resolution
Jiahao Zhang, Yifan Zhang, Yu Huang
Resolving a real software issue with a large language model (LLM) agent is a long repair episode, often tens to hundreds of steps spanning exploration, hypothesis, implementation,…
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…
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…
SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair
Yifan Zhang, Jieyu Li, Kexin Pei +2
Large Language Models (LLMs) can generate plausible code patches, but plausibility is not enough for automated repair: a patch must compile, pass tests, and remove the target vulne…
EyeLayer: Integrating Human Attention Patterns into LLM-Based Code Summarization
Jiahao Zhang, Yifan Zhang, Kevin Leach +1
Code summarization is the task of generating natural language descriptions of source code, which is critical for software comprehension and maintenance. While large language models…