{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T18:50:23Z","timestamp":1763751023829,"version":"3.45.0"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:00:00Z","timestamp":1738368000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:00:00Z","timestamp":1738368000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:00:00Z","timestamp":1738368000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2022YFB4501603"],"award-info":[{"award-number":["2022YFB4501603"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U22A2028","U20A20227","61925208","62222214","62341411","62102398","62102399","62372436","62302478","62302482","62302483","62302480"],"award-info":[{"award-number":["U22A2028","U20A20227","61925208","62222214","62341411","62102398","62102399","62372436","62302478","62302482","62302483","62302480"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Strategic Priority Research Program of the Chinese Academy of Sciences","award":["XDB0660200","XDB0660201","XDB0660202"],"award-info":[{"award-number":["XDB0660200","XDB0660201","XDB0660202"]}]},{"name":"CAS Project for Young Scientists in Basic Research","award":["YSBR-029"],"award-info":[{"award-number":["YSBR-029"]}]},{"DOI":"10.13039\/501100002367","name":"Youth Innovation Promotion Association CAS","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002367","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Xplore Prize"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2025,2]]},"DOI":"10.1109\/tcad.2024.3443027","type":"journal-article","created":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T13:34:24Z","timestamp":1723556064000},"page":"737-750","source":"Crossref","is-referenced-by-count":0,"title":["<i>Harmonia<\/i>\n                    : A Unified Architecture for Efficient Deep Symbolic Regression"],"prefix":"10.1109","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-4204-0686","authenticated-orcid":false,"given":"Tianyun","family":"Ma","sequence":"first","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7775-2724","authenticated-orcid":false,"given":"Yuanbo","family":"Wen","sequence":"additional","affiliation":[{"name":"SKL of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3458-1555","authenticated-orcid":false,"given":"Xinkai","family":"Song","sequence":"additional","affiliation":[{"name":"SKL of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8267-9824","authenticated-orcid":false,"given":"Pengwei","family":"Jin","sequence":"additional","affiliation":[{"name":"Cambricon Technologies, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Di","family":"Huang","sequence":"additional","affiliation":[{"name":"SKL of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0873-3471","authenticated-orcid":false,"given":"Husheng","family":"Han","sequence":"additional","affiliation":[{"name":"Cambricon Technologies, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ziyuan","family":"Nan","sequence":"additional","affiliation":[{"name":"Cambricon Technologies, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhongkai","family":"Yu","sequence":"additional","affiliation":[{"name":"Cambricon Technologies, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaohui","family":"Peng","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5503-4457","authenticated-orcid":false,"given":"Yongwei","family":"Zhao","sequence":"additional","affiliation":[{"name":"SKL of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaping","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7603-4210","authenticated-orcid":false,"given":"Zidong","family":"Du","sequence":"additional","affiliation":[{"name":"SKL of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9979-0561","authenticated-orcid":false,"given":"Xing","family":"Hu","sequence":"additional","affiliation":[{"name":"SKL of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2530-5874","authenticated-orcid":false,"given":"Qi","family":"Guo","sequence":"additional","affiliation":[{"name":"SKL of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Contemporary symbolic regression methods and their relative performance","author":"La Cava","year":"2021","journal-title":"arXiv:2107.14351"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3106648"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2021.04.204"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ymssp.2020.107348"},{"key":"ref5","article-title":"Symbolic regression for constructing analytic models in reinforcement learning","author":"Derner","year":"2019","journal-title":"arXiv:1903.11483"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3377930.3390152"},{"key":"ref7","article-title":"SymbolicGPT: A generative transformer model for symbolic regression","author":"Valipour","year":"2021","journal-title":"arXiv:2106.14131"},{"key":"ref8","first-page":"936","article-title":"Neural symbolic regression that scales","volume-title":"Proc. ICML","author":"Biggio"},{"key":"ref9","article-title":"End-to-end symbolic regression with transformers","author":"Kamienny","year":"2022","journal-title":"arXiv:2204.10532"},{"key":"ref10","first-page":"1","article-title":"Transformer-based model for symbolic regression via joint supervised learning","volume-title":"Proc. 11th ICLR","author":"Li"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3377929.3398099"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01589116"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530505"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-021-03937-8"},{"volume-title":"CUDA: Release: 10.2.89","year":"2020","author":"Vingelmann","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7926984"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2020.106432"},{"key":"ref18","first-page":"1","article-title":"Deep symbolic regression: Recovering mathematical expressions from data via risk-seeking policy gradients","volume-title":"Proc. ICLR","author":"Petersen"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/9781118723203"},{"key":"ref20","first-page":"3744","article-title":"Set transformer: A framework for attention-based permutation-invariant neural networks","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Lee"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2004.836241"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3390\/s22218240"},{"key":"ref23","first-page":"1","article-title":"Orbital anomaly reconstruction using deep symbolic regression","volume-title":"Proc. 71st Int. Astronaut. Congr.","author":"Manzi"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1063\/5.0135638"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-023-08802-8"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/279232.279236"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA56546.2023.10070992"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2017.02.002"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/LCA.2015.2414456"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3007787.3001177"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3321707.3321758"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1162\/evco_a_00278"},{"issue":"6","key":"ref33","first-page":"1359","article-title":"Hardware accelerator of cartesian genetic programming with multiple fitness units","volume":"29","author":"Va\u0161\u00ed\u010dek","year":"2010","journal-title":"Comput. Informat."},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.2008.4766814"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2011.2180451"},{"issue":"153","key":"ref36","first-page":"1","article-title":"Automatic differentiation in machine learning: A survey","volume":"18","author":"Baydin","year":"2018","journal-title":"J. Mach. Learn. Res."},{"article-title":"Data-efficient methods for model learning and control in robotics","year":"2022","author":"Derner","key":"ref37"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3052130"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i4.25641"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1162\/evco_a_00224"},{"key":"ref41","article-title":"Learning concise representations for regression by evolving networks of trees","author":"Cava","year":"2018","journal-title":"arXiv:1807.00981"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1162\/evco_a_00285"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2576768.2598291"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-019-09371-3"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1126\/sciadv.aay2631"},{"key":"ref46","first-page":"5506","article-title":"I-BERT: Integer-only BERT quantization","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Kim"},{"key":"ref47","article-title":"Efficient 8-bit quantization of transformer neural machine language translation model","author":"Bhandare","year":"2019","journal-title":"arXiv:1906.00532"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/EMC2-NIPS53020.2019.00016"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA51647.2021.00018"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586134"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3564606"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2018.2820016"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2019.2891088"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2017.2784360"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2018.00074"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1504\/IJSN.2022.123300"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/2786763.2694358"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/10848246\/10634878.pdf?arnumber=10634878","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T18:43:10Z","timestamp":1763750590000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10634878\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2]]},"references-count":57,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2024.3443027","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2025,2]]}}}