{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T16:08:18Z","timestamp":1781885298412,"version":"3.54.5"},"reference-count":84,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"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":["IEEE Trans. Circuits Syst. II"],"published-print":{"date-parts":[[2024,3]]},"DOI":"10.1109\/tcsii.2023.3336251","type":"journal-article","created":{"date-parts":[[2023,11,23]],"date-time":"2023-11-23T19:20:34Z","timestamp":1700767234000},"page":"1683-1689","source":"Crossref","is-referenced-by-count":8,"title":["Neuro-Symbolic Computing: Advancements and Challenges in Hardware\u2013Software Co-Design"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2553-2631","authenticated-orcid":false,"given":"Xiaoxuan","family":"Yang","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2050-5693","authenticated-orcid":false,"given":"Zhangyang","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Texas at Austin, Austin, TX, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6636-9738","authenticated-orcid":false,"given":"X. Sharon","family":"Hu","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4194-1347","authenticated-orcid":false,"given":"Chris H.","family":"Kim","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Minnesota, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0068-3652","authenticated-orcid":false,"given":"Shimeng","family":"Yu","sequence":"additional","affiliation":[{"name":"School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5357-0117","authenticated-orcid":false,"given":"Miroslav","family":"Pajic","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Duke University, Durham, NC, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8211-6602","authenticated-orcid":false,"given":"Rajit","family":"Manohar","sequence":"additional","affiliation":[{"name":"Computer Systems Laboratory, Yale University, New Haven, CT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1486-8412","authenticated-orcid":false,"given":"Yiran","family":"Chen","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Duke University, Durham, NC, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3228-6544","authenticated-orcid":false,"given":"Hai Helen","family":"Li","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Duke University, Durham, NC, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.naacl-main.324"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2877890"},{"key":"ref3","first-page":"1877","article-title":"Language models are few-shot learners","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"33","author":"Brown"},{"key":"ref4","article-title":"Generalized out-of-distribution detection: A survey","author":"Yang","year":"2021","journal-title":"arXiv:2110.11334"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11023-020-09548-1"},{"key":"ref6","first-page":"167","article-title":"Dimensions of neural-symbolic integration\u2014A structured survey","volume-title":"We Will Show Them! Essays Honour of Dov Gabbay","volume":"1","author":"Bader","year":"2005"},{"issue":"4","key":"ref7","first-page":"611","article-title":"Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning","volume":"6","author":"Garcez","year":"2019","journal-title":"FLAP"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i6.16639"},{"key":"ref9","first-page":"1690","article-title":"Compositional generalization via neural-symbolic stack machines","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"33","author":"Chen"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/679"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2016.2616357"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2012.6252563"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643444"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v43i1.19122"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.03762"},{"key":"ref16","first-page":"1","article-title":"ReTransformer: ReRAM-based processing-in-memory architecture for transformer acceleration","volume-title":"Proc. 39th Int. Conf. Comput.-Aided Design","author":"Yang"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2023.3288749"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643586"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2023.3283443"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.13140\/RG.2.2.18893.74727"},{"key":"ref21","article-title":"Memory augmented recursive neural networks","author":"Arabshahi","year":"2019","journal-title":"arXiv:1911.01545v2"},{"key":"ref22","first-page":"8","article-title":"Neural-symbolic learning and reasoning: Contributions and challenges","volume-title":"Proc. AAAI Spring Symp. Ser.","author":"Garcez"},{"key":"ref23","article-title":"Graph-ToolFormer: To empower LLMs with graph reasoning ability via prompt augmented by ChatGPT","author":"Zhang","year":"2023","journal-title":"arXiv:2304.11116"},{"key":"ref24","first-page":"1","article-title":"Logic tensor networks: Deep learning and logical reasoning from data and knowledge","volume-title":"Proc. 11th Int. Workshop Neural-Symbolic Learn. Reason. (NeSy)","author":"Serafini"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00041"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.00896"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/409"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-acl.480"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2022.3159153"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927219"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ISLPED52811.2021.9502498"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2021.3062821"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1063\/1.5120412"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1038\/s41928-022-00749-3"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1038\/s41928-023-01021-y"},{"key":"ref36","first-page":"1401","article-title":"Learn2Assemble with structured representations and search for robotic architectural construction","volume-title":"Proc. Conf. Robot Learn.","author":"Funk"},{"key":"ref37","article-title":"Symbolic regression on FPGAs for fast machine learning inference","author":"Tsoi","year":"2023","journal-title":"arXiv:2305.04099"},{"key":"ref38","first-page":"10684","article-title":"Symbolic distillation for learned TCP congestion control","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"35","author":"Sharan"},{"key":"ref39","first-page":"1","article-title":"Neural-symbolic VQA: Disentangling reasoning from vision and language understanding","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"31","author":"Yi"},{"key":"ref40","first-page":"1","article-title":"Visual concept-metaconcept learning","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"32","author":"Han"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR46437.2021.00961"},{"key":"ref42","first-page":"1","article-title":"CLEVRER: Collision events for video representation and reasoning","volume-title":"Proc. 8th Int. Conf. Learn. Represent.","author":"Yi"},{"key":"ref43","article-title":"Neuro-symbolic AI: An emerging class of AI workloads and their characterization","author":"Susskind","year":"2021","journal-title":"arXiv:2109.06133"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793509"},{"key":"ref45","first-page":"1","article-title":"Neural symbolic reader: Scalable integration of distributed and symbolic representations for reading comprehension","volume-title":"Proc. Int. Conf. Learn. Represent.","author":"Chen"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2021.09.022"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2022.3209104"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1038\/s42256-023-00630-8"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.23919\/DATE48585.2020.9116397"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.01188"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR46437.2021.00972"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN54540.2023.10191306"},{"key":"ref53","first-page":"1024","article-title":"A new approach to probabilistic programming inference","volume-title":"Proc. Artif. Intell. Stat.","author":"Wood"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2742060.2742088"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3216546"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ICICDT51558.2021.9626535"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/JSTQE.2022.3217819"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530678"},{"key":"ref59","article-title":"BSQ: Exploring bit-level sparsity for mixed-precision neural network quantization","author":"Yang","year":"2021","journal-title":"arXiv:2102.10462"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2022.naacl-main.341"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.acl-long.535"},{"key":"ref62","article-title":"NeuroComparatives: Neuro-symbolic distillation of comparative knowledge","author":"Howard","year":"2023","journal-title":"arXiv:2305.04978"},{"key":"ref63","article-title":"Impossible distillation: From low-quality model to high-quality dataset & model for summarization and paraphrasing","author":"Jung","year":"2023","journal-title":"arXiv:2305.16635"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-acl.368"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.acl-long.150"},{"key":"ref66","first-page":"1","article-title":"The neuro-symbolic concept learner: Interpreting scenes, words, and sentences from natural supervision","volume-title":"Proc. 7th Int. Conf. Learn. Represent.","author":"Mao"},{"key":"ref67","first-page":"5884","article-title":"Closed loop neural-symbolic learning via integrating neural perception, grammar parsing, and symbolic reasoning","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Li"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA47549.2020.00015"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2017.55"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/3466752.3480043"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3299874.3322805"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/MCAS.2021.3092533"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-022-23116-w"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1002\/aisy.201900068"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2018.8297302"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415666"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/3394486.3403126"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM19573.2019.8993491"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM13553.2020.9372091"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/TED.2021.3111857"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-emnlp.214"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.385.27"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9560940"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2023.3268724"}],"container-title":["IEEE Transactions on Circuits and Systems II: Express Briefs"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8920\/10460332\/10327770.pdf?arnumber=10327770","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,8]],"date-time":"2024-03-08T02:16:41Z","timestamp":1709864201000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10327770\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3]]},"references-count":84,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tcsii.2023.3336251","relation":{},"ISSN":["1549-7747","1558-3791"],"issn-type":[{"value":"1549-7747","type":"print"},{"value":"1558-3791","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3]]}}}