{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T00:14:49Z","timestamp":1781309689168,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T00:00:00Z","timestamp":1737331200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2022YFB2901100"],"award-info":[{"award-number":["2022YFB2901100"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62404021"],"award-info":[{"award-number":["62404021"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Beijing Natural Science Foundation","award":["4244107"],"award-info":[{"award-number":["4244107"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,1,20]]},"DOI":"10.1145\/3658617.3697786","type":"proceedings-article","created":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T14:23:57Z","timestamp":1741098237000},"page":"65-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["PIRLLS: Pretraining with Imitation and RL Finetuning for Logic Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-3570-4109","authenticated-orcid":false,"given":"Guande","family":"Dong","sequence":"first","affiliation":[{"name":"Beijing Univ. of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1581-3536","authenticated-orcid":false,"given":"Jianwang","family":"Zhai","sequence":"additional","affiliation":[{"name":"Beijing Univ. of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-1527-621X","authenticated-orcid":false,"given":"Hongtao","family":"Cheng","sequence":"additional","affiliation":[{"name":"Beijing Univ. of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-8340-9104","authenticated-orcid":false,"given":"Xiao","family":"Yang","sequence":"additional","affiliation":[{"name":"Beijing Univ. of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3734-0266","authenticated-orcid":false,"given":"Chuan","family":"Shi","sequence":"additional","affiliation":[{"name":"Beijing Univ. of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0502-8523","authenticated-orcid":false,"given":"Kang","family":"Zhao","sequence":"additional","affiliation":[{"name":"Beijing Univ. of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,3,4]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"24","volume-title":"ABC: An academic industrial-strength verification tool,\" in Computer Aided Verification: 22nd International Conference","author":"Brayton R.","year":"2010","unstructured":"R. Brayton and A. Mishchenko, \"ABC: An academic industrial-strength verification tool,\" in Computer Aided Verification: 22nd International Conference, 2010, pp. 24--40."},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"DAC","author":"Yu C.","year":"2018","unstructured":"C. Yu, H. Xiao, and G. De Micheli, \"Developing Synthesis Flows Without Human Knowledge,\" in Proc. DAC, 2018, pp. 1--6."},{"issue":"8","key":"e_1_3_2_1_3_1","first-page":"2580","article-title":"Bulls-Eye: Active Few-Shot Learning Guided Logic Synthesis","volume":"42","author":"Chowdhury A. Basak","year":"2023","unstructured":"A. Basak Chowdhury, B. Tan, R. Carey, T. Jain, R. Karri, and S. Garg, \"Bulls-Eye: Active Few-Shot Learning Guided Logic Synthesis,\" IEEE TCAD, vol. 42, no. 8, pp. 2580--2590, 2023.","journal-title":"IEEE TCAD"},{"key":"e_1_3_2_1_4_1","first-page":"581","volume-title":"ASPDAC","author":"Hosny A.","year":"2020","unstructured":"A. Hosny, S. Hashemi, M. Shalan, and S. Reda, \"DRiLLS: Deep reinforcement learning for logic synthesis,\" in Proc. ASPDAC, 2020, pp. 581--586."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3380446.3430622"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3566097.3567894"},{"key":"e_1_3_2_1_7_1","first-page":"1","article-title":"CBTune: Contextual Bandit Tuning for Logic Synthesis","author":"Liu F.","year":"2024","unstructured":"F. Liu, Z. Pei, Z. Yu, H. Zheng, Z. He, T. Chen, and B. Yu, \"CBTune: Contextual Bandit Tuning for Logic Synthesis,\" in Proc. DATE, 2024, pp. 1--6.","journal-title":"Proc. DATE"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323856"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature16961"},{"key":"e_1_3_2_1_10_1","first-page":"06295","article-title":"Policy Distillation","volume":"1511","author":"Rusu A. A.","year":"2015","unstructured":"A. A. Rusu, S. G. Colmenarejo, \u00c7aglar G\u00fcl\u00e7ehre, G. Desjardins, J. Kirkpatrick, R. Pascanu, V. Mnih, K. Kavukcuoglu, and R. Hadsell, \"Policy Distillation,\" CoRR, vol. abs\/1511.06295, 2015.","journal-title":"CoRR"},{"key":"e_1_3_2_1_11_1","first-page":"4171","volume-title":"NAACL","author":"Devlin J.","year":"2018","unstructured":"J. Devlin, M.-W. Chang, K. Lee, and K. Toutanova, \"BERT: Pre-training of deep bidirectional transformers for language understanding,\" in Proc. NAACL, 2018, pp. 4171--4186."},{"key":"e_1_3_2_1_12_1","first-page":"06347","article-title":"Proximal Policy Optimization Algorithms","volume":"1707","author":"Schulman J.","year":"2017","unstructured":"J. Schulman, F. Wolski, P. Dhariwal, A. Radford, and O. Klimov, \"Proximal Policy Optimization Algorithms,\" ArXiv, vol. abs\/1707.06347, 2017.","journal-title":"ArXiv"},{"key":"e_1_3_2_1_13_1","volume-title":"Jun","author":"Brockman G.","year":"2016","unstructured":"G. Brockman, V. Cheung, L. Pettersson, J. Schneider, J. Schulman, J. Tang, and W. Zaremba, \"OpenAI Gym,\" arXiv: Learning, Jun 2016."},{"key":"e_1_3_2_1_14_1","first-page":"677","volume-title":"ISCAS","author":"Brglez F.","year":"1985","unstructured":"F. Brglez and H. Fujiwara, \"A Neutral Netlist of 10 Combinational Benchmark Circuits and a Target Translator in Fortran,\" in Proc. ISCAS, 1985, pp. 677--692."},{"key":"e_1_3_2_1_15_1","first-page":"1929","volume-title":"ISCAS","volume":"3","author":"Brglez F.","year":"1989","unstructured":"F. Brglez, D. Bryan, and K. Kozminski, \"Combinational profiles of sequential benchmark circuits,\" in Proc. ISCAS, May 1989, pp. 1929--1934 vol.3."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.867894"},{"key":"e_1_3_2_1_17_1","volume-title":"1989 MCNC International Workshop on Logic Synthesis, Tech. Rep.","author":"Yang S.","year":"1988","unstructured":"S. Yang, \"Logic Synthesis and Optimization Benchmarks,\" 1989 MCNC International Workshop on Logic Synthesis, Tech. Rep., Dec. 1988."},{"key":"e_1_3_2_1_20_1","volume-title":"Tech. Rep.","author":"Albrecht C.","year":"2005","unstructured":"C. Albrecht, \"IWLS 2005 Benchmarks,\" IWLS, Tech. Rep., Jun. 2005."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.887922"},{"key":"e_1_3_2_1_22_1","volume-title":"The EPFL Combinational Benchmark Suite","author":"Amaru L.","year":"2015","unstructured":"L. Amaru, P.-E. Gaillardon, and G. Micheli, \"The EPFL Combinational Benchmark Suite,\" Jan 2015."}],"event":{"name":"ASPDAC '25: 30th Asia and South Pacific Design Automation Conference","location":"Tokyo Japan","acronym":"ASPDAC '25","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEICE","IPSJ","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 30th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658617.3697786","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3658617.3697786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:53Z","timestamp":1750295873000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658617.3697786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,20]]},"references-count":20,"alternative-id":["10.1145\/3658617.3697786","10.1145\/3658617"],"URL":"https:\/\/doi.org\/10.1145\/3658617.3697786","relation":{},"subject":[],"published":{"date-parts":[[2025,1,20]]},"assertion":[{"value":"2025-03-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}