Rethinking Verification for LLM Code Generation: From Generation to Testing - Ma, Zihan; Zhang, Taolin; Maosongcao; Liu, Junnan; Zhang, Wenwei; Luo, Minnan; Zhang, Songyang; Chen, Kai (Advances in Neural Information Processing Systems, 2025)