Route-Align-Verify for Functional Correctness in Code Generation

Erxue Zhou, Jingxiang Meng, Aofan Liu

Large language models (LLMs) have substantially improved code generation, yet achieving strong functional correctness remains difficult, especially for heterogeneous programming ta…