Rethinking Verification for LLM Code Generation: From Generation to Testing

Ma, Zihan, Zhang, Taolin, Cao, Maosong · arXiv · 2025