CodeV-R1: Reasoning-Enhanced Verilog Generation - Zhu, Yaoyu; Huang, Di; Lyu, Hanqi; Zhang, Xiaoyun; Li, Chongxiao; Shi, Wenxuan; Wu, Yutong; Mu, Jianan; Wang, Jinghua; Zhao, Yang; Jin, Pengwei; Cheng, Shuyao; et al. (2025)