{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:22:51Z","timestamp":1767183771193,"version":"3.45.0"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T00:00:00Z","timestamp":1761436800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T00:00:00Z","timestamp":1761436800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,26]]},"DOI":"10.1109\/iccad66269.2025.11241003","type":"proceedings-article","created":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:39:34Z","timestamp":1763663974000},"page":"1-9","source":"Crossref","is-referenced-by-count":1,"title":["VeriRL: Boosting the LLM-based Verilog Code Generation via Reinforcement Learning"],"prefix":"10.1109","author":[{"given":"Fu","family":"Teng","sequence":"first","affiliation":[{"name":"Zhejiang University,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miao","family":"Pan","sequence":"additional","affiliation":[{"name":"Zhejiang University,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuhong","family":"Zhang","sequence":"additional","affiliation":[{"name":"Zhejiang University,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhezhi","family":"He","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiyao","family":"Yang","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinyi","family":"Chai","sequence":"additional","affiliation":[{"name":"Zhejiang University,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mengnan","family":"Qi","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liqiang","family":"Lu","sequence":"additional","affiliation":[{"name":"Zhejiang University,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianwei","family":"Yin","sequence":"additional","affiliation":[{"name":"Zhejiang University,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Scaling laws for neural language models","year":"2020","author":"Kaplan","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2025.acl-long.1591"},{"article-title":"Deepseek-coder: When the large language model meets programming \u2013 the rise of code intelligence","year":"2024","author":"Guo","key":"ref3"},{"article-title":"Code llama: Open foundation models for code","year":"2023","author":"Roziere","key":"ref4"},{"article-title":"Qwen2. 5-coder technical report","year":"2024","author":"Hui","key":"ref5"},{"article-title":"Deepseek-coder: When the large language model meets programming\u2013the rise of code intelligence","year":"2024","author":"Guo","key":"ref6"},{"article-title":"Evaluating large language models trained on code","year":"2021","author":"Chen","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/deeptest66595.2025.00011"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.18653\/v1\/2024.findings-acl.762","article-title":"Opencodeinterpreter: Integrating code generation with execution and refinement","author":"Zheng","year":"2024"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3657353"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1145\/3676536.3676830","article-title":"Origen: Enhancing rtl code generation with code-to-code augmentation and self-reflection","volume-title":"International Conference on Computer-Aided Design","author":"Cui"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1109\/LAD62341.2024.10691788","article-title":"Rtlcoder: Outperforming GPT-3.5 in design RTL generation with our open-source dataset and lightweight solution","volume-title":"IEEE International Workshop on LLM-Aided Design (LAD)","author":"Liu","year":"2024"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1109\/ICCD63220.2024.00033","article-title":"Autovcoder: A systematic framework for automated verilog code generation using llms","volume-title":"Proceedings of the International Conference on Computer Design (ICCD)","author":"Gao"},{"article-title":"Rlef: Grounding code llms in execution feedback with reinforcement learning","year":"2024","author":"Gehring","key":"ref14"},{"article-title":"Reinforce++: A simple and efficient approach for aligning large language models","year":"2025","author":"Hu","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/dac63849.2025.11133406"},{"article-title":"Verilogeval: Evaluating large language models for verilog code generation","volume-title":"2023 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","author":"Liu","key":"ref17"},{"article-title":"Craftrtl: High-quality synthetic data generation for verilog code models with correct-by-construction non-textual representations and targeted code repair","year":"2024","author":"Liu","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/DATE64628.2025.10993072"},{"article-title":"SFT memorizes, RL generalizes: A comparative study of foundation model post-training","volume-title":"The Second Conference on Parsimony and Learning (Recent Spotlight Track)","author":"Chu","key":"ref20"},{"article-title":"Acecode: A reinforcement learning framework for aligning code efficiency and correctness in code language models","year":"2024","author":"Yang","key":"ref21"},{"article-title":"o1-coder: an o1 replication for coding","year":"2024","author":"Zhang","key":"ref22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-025-09422-z"},{"key":"ref24","first-page":"24824","article-title":"Chain-of-thought prompting elicits reasoning in large language models","volume-title":"Advances in neural information processing systems","volume":"35","author":"Wei","year":"2022"},{"article-title":"Deepseekmath: Pushing the limits of mathematical reasoning in open language models","year":"2024","author":"Shao","key":"ref25"},{"article-title":"Statistical rejection sampling improves preference optimization","volume-title":"The Twelfth International Conference on Learning Representations","author":"Liu","key":"ref26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.2307\/2347565"},{"article-title":"Revisiting verilogeval: Newer llms, in-context learning, and specification-to-rtl tasks","year":"2024","author":"Pinckney","key":"ref28"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.2307\/2334029"},{"article-title":"Cppo: Continual learning for reinforcement learning with human feedback","volume-title":"The Twelfth International Conference on Learning Representations","author":"Zhang","key":"ref30"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.acl-demos.38"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2025.emnlp-demos.48"},{"article-title":"Starcoder: may the source be with you!","year":"2023","author":"Li","key":"ref33"},{"article-title":"Code llama: Open foundation models for code","year":"2023","author":"Roziere","key":"ref34"},{"article-title":"Qwen technical report","year":"2023","author":"Bai","key":"ref35"},{"article-title":"Chipnemo: Domain-adapted llms for chip design","year":"2023","author":"Liu","key":"ref36"},{"key":"ref37","first-page":"1","article-title":"Benchmarking large language models for automated verilog rtl code generation","volume-title":"2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Thakur"},{"key":"ref38","first-page":"21","article-title":"Betterv: Controlled verilog generation with discriminative guidance","volume-title":"International Conference on Machine Learning (ICML)","author":"Pei"}],"event":{"name":"2025 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)","start":{"date-parts":[[2025,10,26]]},"location":"Munich, Germany","end":{"date-parts":[[2025,10,30]]}},"container-title":["2025 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11240608\/11240621\/11241003.pdf?arnumber=11241003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T05:47:31Z","timestamp":1763704051000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11241003\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,26]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/iccad66269.2025.11241003","relation":{},"subject":[],"published":{"date-parts":[[2025,10,26]]}}}