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…