TY - RPRT TI - ChipSeek: Optimizing Verilog Generation via EDA-Integrated Reinforcement Learning AU - Zhirong Chen AU - Kaiyan Chang AU - Zhuolin Li AU - Cangyuan Li AU - Xinyang He AU - Chujie Chen AU - Mengdi Wang AU - Haobo Xu AU - Yinhe Han AU - Huawei Li AU - Ying Wang PY - 2026 UR - https://arxiv.org/abs/2507.04736 ID - 2507.04736 ER -