
ExecuCritic jointly trains a code-generation policy and a critic on the same execution rollouts, crediting the coder only when the critic's verdict matches the executor; this beats GRPO and prompted-reviewer baselines with fewer runs.
articleCriticGen: Generation-Aware Evaluation as Actionable FeedbackHuifang Du, Zecheng Zuo, Sen Wang, Chenghao Fan, Haofen Wang, Yehui Yang
articleGraphAlignCoder: Aligning Program and Proof Graphs for Code GenerationYueke Zhang, Zihan Fang, Kevin Leach, Yu Huang
articleTIPCODER: Reinforcement Learning Boosted Test-time Instruction Proposer for Code GenerationMinyu Chen, Sihao Wu, Ling-I Wu, Song Qin, Jingyang Li, Lei Ning, Jianxin Xue, Guoqiang LiChecking sign-in…
Loading comments…