{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T15:43:52Z","timestamp":1772725432937,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":101,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,22]]},"DOI":"10.1145\/3760250.3762235","type":"proceedings-article","created":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T15:06:36Z","timestamp":1765465596000},"page":"67-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Compositional AI Beyond LLMs: System Implications of Neuro-Symbolic-Probabilistic Architectures"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2982-5351","authenticated-orcid":false,"given":"Zishen","family":"Wan","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, Georgia, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2916-534X","authenticated-orcid":false,"given":"Hanchen","family":"Yang","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, Georgia, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-8238-8687","authenticated-orcid":false,"given":"Jiayi","family":"Qian","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, Georgia, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-1853-6107","authenticated-orcid":false,"given":"Ritik","family":"Raj","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, Georgia, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-8406-0817","authenticated-orcid":false,"given":"Joongun","family":"Park","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, Georgia, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-9055-449X","authenticated-orcid":false,"given":"Chenyu","family":"Wang","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, Georgia, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8391-0576","authenticated-orcid":false,"given":"Arijit","family":"Raychowdhury","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, Georgia, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5738-6942","authenticated-orcid":false,"given":"Tushar","family":"Krishna","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, Georgia, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,12,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Demystifying platform requirements for diverse llm inference use cases. arXiv e-prints","author":"Bambhaniya Abhimanyu","year":"2024","unstructured":"Abhimanyu Bambhaniya, Ritik Raj, Geonhwa Jeong, Souvik Kundu, Sudarshan Srinivasan, Midhilesh Elavazhagan, Madhu Kumar, and Tushar Krishna. Demystifying platform requirements for diverse llm inference use cases. arXiv e-prints, pages arXiv--2406, 2024."},{"key":"e_1_3_2_1_2_1","volume-title":"Lobster: A gpu-accelerated framework for neurosymbolic programming. arXiv preprint arXiv:2503.21937","author":"Biberstein Paul","year":"2025","unstructured":"Paul Biberstein, Ziyang Li, Joseph Devietti, and Mayur Naik. Lobster: A gpu-accelerated framework for neurosymbolic programming. arXiv preprint arXiv:2503.21937, 2025."},{"key":"e_1_3_2_1_3_1","first-page":"15042","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)","volume":"35","author":"Booch Grady","year":"2021","unstructured":"Grady Booch, Francesco Fabiano, Lior Horesh, Kiran Kate, Jonathan Lenchner, Nick Linck, Andreas Loreggia, Keerthiram Murgesan, Nicholas Mattei, Francesca Rossi, et al. Thinking fast and slow in ai. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), volume 35, pages 15042--15046, 2021."},{"key":"e_1_3_2_1_4_1","volume-title":"Logically consistent language models via neuro-symbolic integration. arXiv preprint arXiv:2409.13724","author":"Calanzone Diego","year":"2024","unstructured":"Diego Calanzone, Stefano Teso, and Antonio Vergari. Logically consistent language models via neuro-symbolic integration. arXiv preprint arXiv:2409.13724, 2024."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1109\/ISSCC42615.2023.10067544","volume-title":"2023 IEEE International Solid-State Circuits Conference (ISSCC)","author":"Chang Muya","year":"2023","unstructured":"Muya Chang, Ashwin Sanjay Lele, Samuel D Spetalnick, Brian Crafton, Shota Konno, Zishen Wan, Ashwin Bhat, Win-San Khwa, Yu-Der Chih, Meng-Fan Chang, et al. A 73.53 tops\/w 14.74 tops heterogeneous rram in-memory and sram near-memory soc for hybrid frame and event-based target tracking. In 2023 IEEE International Solid-State Circuits Conference (ISSCC), pages 426--428. IEEE, 2023."},{"key":"e_1_3_2_1_6_1","volume-title":"Scaling laws for predicting downstream performance in llms. arXiv preprint arXiv:2410.08527","author":"Chen Yangyi","year":"2024","unstructured":"Yangyi Chen, Binxuan Huang, Yifan Gao, ZhengyangWang, Jingfeng Yang, and Heng Ji. Scaling laws for predicting downstream performance in llms. arXiv preprint arXiv:2410.08527, 2024."},{"key":"e_1_3_2_1_7_1","volume-title":"Agents thinking fast and slow: A talker-reasoner architecture. arXiv preprint arXiv:2410.08328","author":"Christakopoulou Konstantina","year":"2024","unstructured":"Konstantina Christakopoulou, Shibl Mourad, and Maja Matari?. Agents thinking fast and slow: A talker-reasoner architecture. arXiv preprint arXiv:2410.08328, 2024."},{"key":"e_1_3_2_1_8_1","volume-title":"fast and slow","author":"Daniel Kahneman","year":"2017","unstructured":"Kahneman Daniel. Thinking, fast and slow. 2017."},{"key":"e_1_3_2_1_9_1","volume-title":"Symbolicai: A framework for logic-based approaches combining generative models and solvers. arXiv preprint arXiv:2402.00854","author":"Dinu Marius-Constantin","year":"2024","unstructured":"Marius-Constantin Dinu, Claudiu Leoveanu-Condrei, Markus Holzleitner, Werner Zellinger, and Sepp Hochreiter. Symbolicai: A framework for logic-based approaches combining generative models and solvers. arXiv preprint arXiv:2402.00854, 2024."},{"key":"e_1_3_2_1_10_1","volume-title":"Enabling language models to fill in the blanks. arXiv preprint arXiv:2005.05339","author":"Donahue Chris","year":"2020","unstructured":"Chris Donahue, Mina Lee, and Percy Liang. Enabling language models to fill in the blanks. arXiv preprint arXiv:2005.05339, 2020."},{"key":"e_1_3_2_1_11_1","volume-title":"Cross-layer design of vector-symbolic computing: Bridging cognition and brain-inspired hardware acceleration. arXiv preprint arXiv:2508.14245","author":"Du Shuting","year":"2025","unstructured":"Shuting Du, Mohamed Ibrahim, Zishen Wan, Luqi Zheng, Boheng Zhao, Zhenkun Fan, Che-Kai Liu, Tushar Krishna, Arijit Raychowdhury, and Haitong Li. Cross-layer design of vector-symbolic computing: Bridging cognition and brain-inspired hardware acceleration. arXiv preprint arXiv:2508.14245, 2025."},{"key":"e_1_3_2_1_12_1","first-page":"8489","volume-title":"International Conference on Machine Learning (ICML)","author":"Du Yilun","year":"2023","unstructured":"Yilun Du, Conor Durkan, Robin Strudel, Joshua B Tenenbaum, Sander Dieleman, Rob Fergus, Jascha Sohl-Dickstein, Arnaud Doucet, and Will Sussman Grathwohl. Reduce, reuse, recycle: Compositional generation with energy-based diffusion models and mcmc. In International Conference on Machine Learning (ICML), pages 8489--8510. PMLR, 2023."},{"key":"e_1_3_2_1_13_1","volume-title":"Compositional generative modeling: A single model is not all you need. arXiv preprint arXiv:2402.01103","author":"Du Yilun","year":"2024","unstructured":"Yilun Du and Leslie Kaelbling. Compositional generative modeling: A single model is not all you need. arXiv preprint arXiv:2402.01103, 2024."},{"issue":"2251","key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","first-page":"20220050","DOI":"10.1098\/rsta.2022.0050","article-title":"growing generalizable, interpretable knowledge with wake--sleep bayesian program learning","volume":"381","author":"Ellis Kevin","year":"2023","unstructured":"Kevin Ellis, Lionel Wong, Maxwell Nye, Mathias Sable-Meyer, Luc Cary, Lore Anaya Pozo, Luke Hewitt, Armando Solar-Lezama, and Joshua B Tenenbaum. Dreamcoder: growing generalizable, interpretable knowledge with wake--sleep bayesian program learning. Philosophical Transactions of the Royal Society A, 381(2251):20220050, 2023.","journal-title":"Philosophical Transactions of the Royal Society A"},{"key":"e_1_3_2_1_15_1","volume-title":"Factchecking the output of large language models via token-level uncertainty quantification. arXiv preprint arXiv:2403.04696","author":"Fadeeva Ekaterina","year":"2024","unstructured":"Ekaterina Fadeeva, Aleksandr Rubashevskii, Artem Shelmanov, Sergey Petrakov, Haonan Li, Hamdy Mubarak, Evgenii Tsymbalov, Gleb Kuzmin, Alexander Panchenko, Timothy Baldwin, et al. Factchecking the output of large language models via token-level uncertainty quantification. arXiv preprint arXiv:2403.04696, 2024."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/ISCA.2018.00017","volume-title":"2018 ACM\/IEEE 45th Annual International Symposium on Computer Architecture (ISCA)","author":"Fujiki Daichi","year":"2018","unstructured":"Daichi Fujiki, Arun Subramaniyan, Tianjun Zhang, Yu Zeng, Reetuparna Das, David Blaauw, and Satish Narayanasamy. Genax: A genome sequencing accelerator. In 2018 ACM\/IEEE 45th Annual International Symposium on Computer Architecture (ISCA), pages 69--82. IEEE, 2018."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","first-page":"937","DOI":"10.1109\/MICRO50266.2020.00080","volume-title":"2020 53rd Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO)","author":"Fujiki Daichi","year":"2020","unstructured":"Daichi Fujiki, ShunhaoWu, Nathan Ozog, Kush Goliya, David Blaauw, Satish Narayanasamy, and Reetuparna Das. Seedex: A genome sequencing accelerator for optimal alignments in subminimal space. In 2020 53rd Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO), pages 937--950. IEEE, 2020."},{"key":"e_1_3_2_1_18_1","volume-title":"Advances in Neural Information Processing Systems (NeurIPS)","author":"Gan Chuang","year":"2021","unstructured":"Chuang Gan, Jeremy Schwartz, Seth Alter, Damian Mrowca, Martin Schrimpf, James Traer, Julian De Freitas, Jonas Kubilius, Abhishek Bhandwaldar, Nick Haber, et al. Threedworld: A platform for interactive multi-modal physical simulation. Advances in Neural Information Processing Systems (NeurIPS), 2021."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812329"},{"key":"e_1_3_2_1_20_1","first-page":"1","volume-title":"Artificial Intelligence Review","author":"Avila Garcez Artur","year":"2023","unstructured":"Artur d'Avila Garcez and Luis C Lamb. Neurosymbolic ai: The 3 rd wave. Artificial Intelligence Review, pages 1--20, 2023."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586216"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1109\/ISPASS61541.2024.00032","volume-title":"2024 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)","author":"Golden Alicia","year":"2024","unstructured":"Alicia Golden, Samuel Hsia, Fei Sun, Bilge Acun, Basil Hosmer, Yejin Lee, Zachary DeVito, Jeff Johnson, Gu-Yeon Wei, David Brooks, et al. Generative ai beyond llms: System implications of multi-modal generation. In 2024 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), pages 257--267. IEEE, 2024."},{"key":"e_1_3_2_1_23_1","unstructured":"Qiao Gu Alihusein Kuwajerwala Sacha Morin Krishna Murthy Jatavallabhula Bipasha Sen Aditya Agarwal Corban Rivera William Paul Kirsty Ellis Rama Chellappa et al. Conceptgraphs: Openvocabulary 3d scene graphs for perception and planning. arXiv preprint arXiv:2309.16650 2023."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3579371.3589038"},{"key":"e_1_3_2_1_25_1","first-page":"813","volume-title":"Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","volume":"2","author":"Hao Yuhui","year":"2024","unstructured":"Yuhui Hao, Yiming Gan, Bo Yu, Qiang Liu, Yinhe Han, Zishen Wan, and Shaoshan Liu. Orianna: An accelerator generation framework for optimization-based robotic applications. In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Volume 2, pages 813--829, 2024."},{"key":"e_1_3_2_1_26_1","volume-title":"A probabilistic framework for llm hallucination detection via belief tree propagation. arXiv preprint arXiv:2406.06950","author":"Hou Bairu","year":"2024","unstructured":"Bairu Hou, Yang Zhang, Jacob Andreas, and Shiyu Chang. A probabilistic framework for llm hallucination detection via belief tree propagation. arXiv preprint arXiv:2406.06950, 2024."},{"key":"e_1_3_2_1_27_1","first-page":"2614","volume-title":"Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR)","author":"Hsu Joy","year":"2023","unstructured":"Joy Hsu, Jiayuan Mao, and JiajunWu. Ns3d: Neuro-symbolic grounding of 3d objects and relations. In Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pages 2614--2623, 2023."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/3691825.3691864"},{"key":"e_1_3_2_1_29_1","first-page":"11","volume-title":"2024 International Conference on Hardware\/Software Codesign and System Synthesis (CODES ISSS)","author":"Ibrahim Mohamed","year":"2024","unstructured":"Mohamed Ibrahim, Zishen Wan, Haitong Li, Priyadarshini Panda, Tushar Krishna, Pentti Kanerva, Yiran Chen, and Arijit Raychowdhury. Special session: Neuro-symbolic architecture meets large language models: A memory-centric perspective. In 2024 International Conference on Hardware\/Software Codesign and System Synthesis (CODES ISSS), pages 11--20. IEEE, 2024."},{"key":"e_1_3_2_1_30_1","volume-title":"Rlsf: Reinforcement learning via symbolic feedback. arXiv preprint arXiv:2405.16661","author":"Jha Piyush","year":"2024","unstructured":"Piyush Jha, Prithwish Jana, Arnav Arora, and Vijay Ganesh. Rlsf: Reinforcement learning via symbolic feedback. arXiv preprint arXiv:2405.16661, 2024."},{"key":"e_1_3_2_1_31_1","volume-title":"Llm-arc: Enhancing llms with an automated reasoning critic. arXiv preprint arXiv:2406.17663","author":"Kalyanpur Aditya","year":"2024","unstructured":"Aditya Kalyanpur, Kailash Saravanakumar, Victor Barres, Jennifer Chu-Carroll, David Melville, and David Ferrucci. Llm-arc: Enhancing llms with an automated reasoning critic. arXiv preprint arXiv:2406.17663, 2024."},{"key":"e_1_3_2_1_32_1","volume-title":"Robust reasoning enabled llm guardrail via knowledge-enhanced logical reasoning. arXiv preprint arXiv:2407.05557","author":"Kang Mintong","year":"2024","unstructured":"Mintong Kang and Bo Li. ?? 2-guard: Robust reasoning enabled llm guardrail via knowledge-enhanced logical reasoning. arXiv preprint arXiv:2407.05557, 2024."},{"key":"e_1_3_2_1_33_1","volume-title":"Scaling laws for neural language models. arXiv preprint arXiv:2001.08361","author":"Kaplan Jared","year":"2020","unstructured":"Jared Kaplan, Sam McCandlish, Tom Henighan, Tom B Brown, Benjamin Chess, Rewon Child, Scott Gray, Alec Radford, Jeffrey Wu, and Dario Amodei. Scaling laws for neural language models. arXiv preprint arXiv:2001.08361, 2020."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS55109.2022.00023"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO56248.2022.00033"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA51647.2021.00016"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of Machine Learning and Systems (MLSys), 5:1--20","author":"Kwon Hyoukjun","year":"2023","unstructured":"Hyoukjun Kwon, Krishnakumar Nair, Jamin Seo, Jason Yik, Debabrata Mohapatra, Dongyuan Zhan, Jinook Song, Peter Capak, Peizhao Zhang, Peter Vajda, et al. Xrbench: An extended reality (xr) machine learning benchmark suite for the metaverse. Proceedings of Machine Learning and Systems (MLSys), 5:1--20, 2023."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the Annual Meeting of the Cognitive Science Society","volume":"46","author":"Kwon Joseph","year":"2024","unstructured":"Joseph Kwon, Josh Tenenbaum, and Sydney Levine. Neuro-symbolic models of human moral judgment. In Proceedings of the Annual Meeting of the Cognitive Science Society, volume 46, 2024."},{"key":"e_1_3_2_1_39_1","first-page":"1","volume-title":"Proceedings of the 2022 CHI conference on human factors in computing systems","author":"Lee Mina","year":"2022","unstructured":"Mina Lee, Percy Liang, and Qian Yang. Coauthor: Designing a humanai collaborative writing dataset for exploring language model capabilities. In Proceedings of the 2022 CHI conference on human factors in computing systems, pages 1--19, 2022."},{"key":"e_1_3_2_1_40_1","volume-title":"Sequential monte carlo steering of large language models using probabilistic programs. arXiv preprint arXiv:2306.03081","author":"Lew Alexander K","year":"2023","unstructured":"Alexander K Lew, Tan Zhi-Xuan, Gabriel Grand, and Vikash K Mansinghka. Sequential monte carlo steering of large language models using probabilistic programs. arXiv preprint arXiv:2306.03081, 2023."},{"key":"e_1_3_2_1_41_1","article-title":"Gaze estimation with event camera","author":"Li Nealson","year":"2024","unstructured":"Nealson Li, Muya Chang, and Arijit Raychowdhury. E-gaze: Gaze estimation with event camera. IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 2024.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI)"},{"key":"e_1_3_2_1_42_1","volume-title":"Leveraging llms for hypothetical deduction in logical inference: A neuro-symbolic approach. arXiv preprint arXiv:2410.21779","author":"Li Qingchuan","year":"2024","unstructured":"Qingchuan Li, Jiatong Li, Tongxuan Liu, Yuting Zeng, Mingyue Cheng, Weizhe Huang, and Qi Liu. Leveraging llms for hypothetical deduction in logical inference: A neuro-symbolic approach. arXiv preprint arXiv:2410.21779, 2024. University of Science and Technology of China."},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the ACM on Programming Languages, 7(PLDI):1463--1487","author":"Li Ziyang","year":"2023","unstructured":"Ziyang Li, Jiani Huang, and Mayur Naik. Scallop: A language for neurosymbolic programming. Proceedings of the ACM on Programming Languages, 7(PLDI):1463--1487, 2023."},{"key":"e_1_3_2_1_44_1","volume-title":"Commongen: A constrained text generation challenge for generative commonsense reasoning. arXiv preprint arXiv:1911.03705","author":"Lin Bill Yuchen","year":"2019","unstructured":"Bill Yuchen Lin, Wangchunshu Zhou, Ming Shen, Pei Zhou, Chandra Bhagavatula, Yejin Choi, and Xiang Ren. Commongen: A constrained text generation challenge for generative commonsense reasoning. arXiv preprint arXiv:1911.03705, 2019."},{"key":"e_1_3_2_1_45_1","volume-title":"Toxicchat: Unveiling hidden challenges of toxicity detection in real-world user-ai conversation. arXiv preprint arXiv:2310.17389","author":"Lin Zi","year":"2023","unstructured":"Zi Lin, Zihan Wang, Yongqi Tong, Yangkun Wang, Yuxin Guo, Yujia Wang, and Jingbo Shang. Toxicchat: Unveiling hidden challenges of toxicity detection in real-world user-ai conversation. arXiv preprint arXiv:2310.17389, 2023."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/CICC53496.2022.9772870"},{"key":"e_1_3_2_1_47_1","first-page":"24","volume-title":"2023 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)","author":"Ma Jiaao","year":"2023","unstructured":"Jiaao Ma, Ceyu Xu, and LisaWu Wills. Pytfhe: An end-to-end compilation and execution framework for fully homomorphic encryption applications. In 2023 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), pages 24--34. IEEE, 2023."},{"key":"e_1_3_2_1_48_1","volume-title":"Debate on graph: a flexible and reliable reasoning framework for large language models. arXiv preprint arXiv:2409.03155","author":"Ma Jie","year":"2024","unstructured":"Jie Ma, Zhitao Gao, Qi Chai,Wangchun Sun, PinghuiWang, Hongbin Pei, Jing Tao, Lingyun Song, Jun Liu, Chen Zhang, et al. Debate on graph: a flexible and reliable reasoning framework for large language models. arXiv preprint arXiv:2409.03155, 2024."},{"key":"e_1_3_2_1_49_1","volume-title":"Deepproblog: Neural probabilistic logic programming. Advances in neural information processing systems (NeurIPS), 31","author":"Manhaeve Robin","year":"2018","unstructured":"Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, and Luc De Raedt. Deepproblog: Neural probabilistic logic programming. Advances in neural information processing systems (NeurIPS), 31, 2018."},{"key":"e_1_3_2_1_50_1","first-page":"40","volume-title":"International Conference on Artificial Neural Networks","author":"Manigrasso Francesco","year":"2021","unstructured":"Francesco Manigrasso, Filomeno Davide Miro, Lia Morra, and Fabrizio Lamberti. Faster-ltn: a neuro-symbolic, end-to-end object detection architecture. In International Conference on Artificial Neural Networks, pages 40--52. Springer, 2021."},{"key":"e_1_3_2_1_51_1","volume-title":"International Conference on Learning Representations (ICLR)","author":"Mao Jiayuan","year":"2019","unstructured":"Jiayuan Mao, Chuang Gan, Pushmeet Kohli, Joshua B Tenenbaum, and Jiajun Wu. The neuro-symbolic concept learner: Interpreting scenes, words, and sentences from natural supervision. In International Conference on Learning Representations (ICLR), 2019."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610841"},{"key":"e_1_3_2_1_53_1","first-page":"51","volume-title":"Proceedings of 25th Conference on Logic for Pro","volume":"100","author":"McGinness Lachlan","year":"2024","unstructured":"Lachlan McGinness and Peter Baumgartner. Automated theorem provers help improve large language model reasoning. In Proceedings of 25th Conference on Logic for Pro, volume 100, pages 51--69, 2024."},{"key":"e_1_3_2_1_54_1","volume-title":"Open AI","author":"Mu Tong","year":"2024","unstructured":"Tong Mu, Alec Helyar, Johannes Heidecke, Joshua Achiam, Andrea Vallone, Ian Kivlichan, Molly Lin, Alex Beutel, John Schulman, and Lilian Weng. Rule based rewards for language model safety. Open AI, 2024."},{"key":"e_1_3_2_1_55_1","first-page":"252","volume-title":"Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"Mu\u00f1oz-Mart\u00ednez Francisco","year":"2023","unstructured":"Francisco Mu\u00f1oz-Mart\u00ednez, Raveesh Garg, Michael Pellauer, Jos\u00e9 L Abell\u00e1n, Manuel E Acacio, and Tushar Krishna. Flexagon: A multidataflow sparse-sparse matrix multiplication accelerator for efficient dnn processing. In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 252--265, 2023."},{"key":"e_1_3_2_1_56_1","first-page":"1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE)","author":"Nabeel Mohammed","year":"2023","unstructured":"Mohammed Nabeel, Deepraj Soni, Mohammed Ashraf, Mizan Abraha Gebremichael, Homer Gamil, Eduardo Chielle, Ramesh Karri, Mihai Sanduleanu, and Michail Maniatakos. Cofhee: A co-processor for fully homomorphic encryption execution. In 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 1--2. IEEE, 2023."},{"key":"e_1_3_2_1_57_1","volume-title":"Dolphin: A programmable framework for scalable neurosymbolic learning. arXiv preprint arXiv:2410.03348","author":"Naik Aaditya","year":"2024","unstructured":"Aaditya Naik, Jason Liu, Claire Wang, Amish Sethi, Saikat Dutta, Mayur Naik, and Eric Wong. Dolphin: A programmable framework for scalable neurosymbolic learning. arXiv preprint arXiv:2410.03348, 2024."},{"key":"e_1_3_2_1_58_1","unstructured":"NVIDIA. NVIDIA Nsight Compute. https:\/\/developer.nvidia.com\/nsight-compute."},{"key":"e_1_3_2_1_59_1","unstructured":"NVIDIA. NVIDIA Nsight Systems. https:\/\/developer.nvidia.com\/nsight-systems."},{"key":"e_1_3_2_1_60_1","volume-title":"Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning. arXiv preprint arXiv:2305.12295","author":"Pan Liangming","year":"2023","unstructured":"Liangming Pan, Alon Albalak, Xinyi Wang, and William Yang Wang. Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning. arXiv preprint arXiv:2305.12295, 2023."},{"key":"e_1_3_2_1_61_1","first-page":"207","volume-title":"Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","volume":"3","author":"Patel Pratyush","year":"2024","unstructured":"Pratyush Patel, Esha Choukse, Chaojie Zhang, \u00cd\u00f1igo Goiri, Brijesh Warrier, Nithish Mahalingam, and Ricardo Bianchini. Characterizing power management opportunities for llms in the cloud. In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Volume 3, pages 207--222, 2024."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA47549.2020.00015"},{"key":"e_1_3_2_1_63_1","volume-title":"Verification and refinement of natural language explanations through llm-symbolic theorem proving. arXiv preprint arXiv:2405.01379","author":"Quan Xin","year":"2024","unstructured":"Xin Quan, Marco Valentino, Louise A Dennis, and Andr\u00e9 Freitas. Verification and refinement of natural language explanations through llm-symbolic theorem proving. arXiv preprint arXiv:2405.01379, 2024."},{"key":"e_1_3_2_1_64_1","first-page":"186","volume-title":"2025 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)","author":"Raj Ritik","year":"2025","unstructured":"Ritik Raj, Sarbartha Banerjee, Nikhil Chandra, Zishen Wan, Jianming Tong, Ananda Samajdhar, and Tushar Krishna. Scale-sim v3: A modular cycle-accurate systolic accelerator simulator for end-to-end system analysis. In 2025 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), pages 186--200. IEEE, 2025."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-023-06924-6"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454078"},{"key":"e_1_3_2_1_67_1","volume-title":"Beyond chinchilla-optimal: Accounting for inference in language model scaling laws. arXiv preprint arXiv:2401.00448","author":"Sardana Nikhil","year":"2023","unstructured":"Nikhil Sardana, Jacob Portes, Sasha Doubov, and Jonathan Frankle. Beyond chinchilla-optimal: Accounting for inference in language model scaling laws. arXiv preprint arXiv:2401.00448, 2023."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-021-10110-3"},{"key":"e_1_3_2_1_69_1","first-page":"932","volume-title":"ICPRAM","author":"Scotte Anthony James","year":"2023","unstructured":"Anthony James Scotte and Varuna De Silva. Towards a neurosymbolic framework for multimodal human-ai interaction. In ICPRAM, pages 932--939, 2023."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"crossref","first-page":"1288","DOI":"10.1109\/MICRO56248.2022.00090","volume-title":"2022 55th IEEE\/ACM International Symposium on Microarchitecture (MICRO)","author":"Shah Nimish","year":"2022","unstructured":"Nimish Shah, Wannes Meert, and Marian Verhelst. Dpu-v2: Energyefficient execution of irregular directed acyclic graphs. In 2022 55th IEEE\/ACM International Symposium on Microarchitecture (MICRO), pages 1288--1307. IEEE, 2022."},{"key":"e_1_3_2_1_71_1","volume-title":"Mattia Opper, and Jianfeng Gao. Mechanisms of symbol processing for in-context learning in transformer networks. arXiv preprint arXiv:2410.17498","author":"Smolensky Paul","year":"2024","unstructured":"Paul Smolensky, Roland Fernandez, Zhenghao Herbert Zhou, Mattia Opper, and Jianfeng Gao. Mechanisms of symbol processing for in-context learning in transformer networks. arXiv preprint arXiv:2410.17498, 2024."},{"key":"e_1_3_2_1_72_1","unstructured":"Zayne Sprague Fangcong Yin Juan Diego Rodriguez Dongwei Jiang ManyaWadhwa Prasann Singhal Xinyu Zhao Xi Ye Kyle Mahowald and Greg Durrett. To cot or not to cot? chain-of-thought helps mainly on math and symbolic reasoning. arXiv preprint arXiv:2409.12183 2024."},{"key":"e_1_3_2_1_73_1","volume-title":"Can large language models act as symbolic reasoners? arXiv preprint arXiv:2410.21490","author":"Sullivan Rob","year":"2024","unstructured":"Rob Sullivan and Nelly Elsayed. Can large language models act as symbolic reasoners? arXiv preprint arXiv:2410.21490, 2024. School of Information Technology, University of Cincinnati, Ohio, United States."},{"key":"e_1_3_2_1_74_1","volume-title":"Neuro-symbolic ai: An emerging class of ai workloads and their characterization. arXiv preprint arXiv:2109.06133","author":"Susskind Zachary","year":"2021","unstructured":"Zachary Susskind, Bryce Arden, Lizy K John, Patrick Stockton, and Eugene B John. Neuro-symbolic ai: An emerging class of ai workloads and their characterization. arXiv preprint arXiv:2109.06133, 2021."},{"key":"e_1_3_2_1_75_1","volume-title":"https:\/\/github.com\/mlc-ai\/mlc-llm","author":"MLC","year":"2023","unstructured":"MLC team. MLC-LLM. https:\/\/github.com\/mlc-ai\/mlc-llm, 2023."},{"key":"e_1_3_2_1_76_1","first-page":"17","volume-title":"European Conference on Computer Vision (ECCV)","author":"Theiss Justin","year":"2022","unstructured":"Justin Theiss, Jay Leverett, Daeil Kim, and Aayush Prakash. Unpaired image translation via vector symbolic architectures. In European Conference on Computer Vision (ECCV), pages 17--32. Springer, 2022."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-023-06747-5"},{"key":"e_1_3_2_1_78_1","volume-title":"ICAART (1), page 9","author":"den Broeck Guy Van","year":"2021","unstructured":"Guy Van den Broeck. From probabilistic circuits to probabilistic programs and back. In ICAART (1), page 9, 2021."},{"key":"e_1_3_2_1_79_1","first-page":"982","volume-title":"Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","volume":"2","author":"Du Yuhang","year":"2025","unstructured":"ZishenWan, Yuhang Du, Mohamed Ibrahim, Jiayi Qian, Jason Jabbour, Yang Zhao, Tushar Krishna, Arijit Raychowdhury, and Vijay Janapa Reddi. Reca: Integrated acceleration for real-time and efficient cooperative embodied autonomous agents. In Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Volume 2, pages 982--997, 2025."},{"key":"e_1_3_2_1_80_1","first-page":"1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE)","author":"Liu Che-Kai","year":"2024","unstructured":"ZishenWan, Che-Kai Liu, Mohamed Ibrahim, Hanchen Yang, Samuel Spetalnick, Tushar Krishna, and Arijit Raychowdhury. H3dfact: Heterogeneous 3d integrated cim for factorization with holographic perceptual representations. In 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 1--6. IEEE, 2024."},{"key":"e_1_3_2_1_81_1","article-title":"Towards efficient neuro-symbolic ai: From workload characterization to hardware architecture","author":"Wan Zishen","year":"2024","unstructured":"Zishen Wan, Che-Kai Liu, Hanchen Yang, Ritik Raj, Chaojian Li, Haoran You, Yonggan Fu, Cheng Wan, Sixu Li, Youbin Kim, et al. Towards efficient neuro-symbolic ai: From workload characterization to hardware architecture. IEEE Transactions on Circuits and Systems for Artificial Intelligence (TCASAI), 2024.","journal-title":"IEEE Transactions on Circuits and Systems for Artificial Intelligence (TCASAI)"},{"key":"e_1_3_2_1_82_1","first-page":"268","volume-title":"2024 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)","author":"Liu Che-Kai","year":"2024","unstructured":"ZishenWan, Che-Kai Liu, Hanchen Yang, Ritik Raj, Chaojian Li, Haoran You, Yonggan Fu, Cheng Wan, Ananda Samajdar, Yingyan Celine Lin, et al. Towards cognitive ai systems: Workload and characterization of neuro-symbolic ai. In 2024 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), pages 268--279. IEEE, 2024."},{"key":"e_1_3_2_1_83_1","first-page":"775","volume-title":"2025 IEEE International Symposium on High Performance Computer Architecture (HPCA)","author":"Yang Hanchen","year":"2025","unstructured":"ZishenWan, Hanchen Yang, Ritik Raj, Che-Kai Liu, Ananda Samajdar, Arijit Raychowdhury, and Tushar Krishna. Cogsys: Efficient and scalable neurosymbolic cognition system via algorithm-hardware co-design. In 2025 IEEE International Symposium on High Performance Computer Architecture (HPCA), pages 775--789. IEEE, 2025."},{"key":"e_1_3_2_1_84_1","volume-title":"From word models to world models: Translating from natural language to the probabilistic language of thought. arXiv preprint arXiv:2306.12672","author":"Wong Lionel","year":"2023","unstructured":"Lionel Wong, Gabriel Grand, Alexander K Lew, Noah D Goodman, Vikash K Mansinghka, Jacob Andreas, and Joshua B Tenenbaum. From word models to world models: Translating from natural language to the probabilistic language of thought. arXiv preprint arXiv:2306.12672, 2023."},{"key":"e_1_3_2_1_85_1","first-page":"468","volume-title":"Proceedings of the 49th Annual International Symposium on Computer Architecture (ISCA)","author":"Wu Di","year":"2022","unstructured":"Di Wu, Jingjie Li, Zhewen Pan, Younghyun Kim, and Joshua San Miguel. ubrain: A unary brain computer interface. In Proceedings of the 49th Annual International Symposium on Computer Architecture (ISCA), pages 468--481, 2022."},{"key":"e_1_3_2_1_86_1","first-page":"1106","volume-title":"Proceedings of the 56th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO)","author":"Wu Yannan Nellie","year":"2023","unstructured":"Yannan Nellie Wu, Po-An Tsai, Saurav Muralidharan, Angshuman Parashar, Vivienne Sze, and Joel Emer. Highlight: Efficient and flexible dnn acceleration with hierarchical structured sparsity. In Proceedings of the 56th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO), pages 1106--1120, 2023."},{"key":"e_1_3_2_1_87_1","volume-title":"Cloud atlas: Efficient fault localization for cloud systems using language models and causal insight. arXiv preprint arXiv:2407.08694","author":"Xie Zhiqiang","year":"2024","unstructured":"Zhiqiang Xie, Yujia Zheng, Lizi Ottens, Kun Zhang, Christos Kozyrakis, and Jonathan Mace. Cloud atlas: Efficient fault localization for cloud systems using language models and causal insight. arXiv preprint arXiv:2407.08694, 2024."},{"key":"e_1_3_2_1_88_1","volume-title":"Converging paradigms: The synergy of symbolic and connectionist ai in llm-empowered autonomous agents. arXiv preprint arXiv:2407.08516","author":"Xiong Haoyi","year":"2024","unstructured":"Haoyi Xiong, ZhiyuanWang, Xuhong Li, Jiang Bian, Zeke Xie, Shahid Mumtaz, and Laura E Barnes. Converging paradigms: The synergy of symbolic and connectionist ai in llm-empowered autonomous agents. arXiv preprint arXiv:2407.08516, 2024."},{"key":"e_1_3_2_1_89_1","first-page":"1","volume-title":"2025 62nd ACM\/IEEE Design Automation Conference (DAC)","author":"Yang Hanchen","year":"2025","unstructured":"Hanchen Yang, Zishen Wan, Ritik Raj, Joongun Park, Ziwei Li, Ananda Samajdar, Arijit Raychowdhury, and Tushar Krishna. Nsflow: An end-to-end fpga framework with scalable dataflow architecture for neuro-symbolic ai. In 2025 62nd ACM\/IEEE Design Automation Conference (DAC), pages 1--7, 2025."},{"key":"e_1_3_2_1_90_1","article-title":"Advancements and challenges in hardware-software co-design","author":"Yang Xiaoxuan","year":"2023","unstructured":"Xiaoxuan Yang, Zhangyang Wang, X Sharon Hu, Chris H Kim, Shimeng Yu, Miroslav Pajic, Rajit Manohar, Yiran Chen, and Hai Helen Li. Neuro-symbolic computing: Advancements and challenges in hardware-software co-design. IEEE Transactions on Circuits and Systems II: Express Briefs, 2023.","journal-title":"IEEE Transactions on Circuits and Systems II: Express Briefs"},{"key":"e_1_3_2_1_91_1","volume-title":"29th International Joint Conference on Artificial Intelligence (IJCAI)","author":"Yang Zhun","year":"2020","unstructured":"Zhun Yang, Adam Ishay, and Joohyung Lee. Neurasp: Embracing neural networks into answer set programming. In 29th International Joint Conference on Artificial Intelligence (IJCAI), 2020."},{"key":"e_1_3_2_1_92_1","unstructured":"Jason Yik Soikat Hasan Ahmed Zergham Ahmed Brian Anderson Andreas G Andreou Chiara Bartolozzi Arindam Basu Douwe den Blanken Petrut Bogdan Sander Bohte et al. Neurobench: Advancing neuromorphic computing through collaborative fair and representative benchmarking. arXiv preprint arXiv:2304.04640 2023."},{"key":"e_1_3_2_1_93_1","unstructured":"Matei Zaharia Omar Khattab Lingjiao Chen Jared Quincy Davis Heather Miller Chris Potts James Zou Michael Carbin Jonathan Frankle Naveen Rao and Ali Ghodsi. The shift from models to compound ai systems. https:\/\/bair.berkeley.edu\/blog\/2024\/02\/18\/compound-ai-systems\/ 2024."},{"key":"e_1_3_2_1_94_1","volume-title":"Llm self-training via process reward guided tree search. arXiv preprint arXiv:2406.03816","author":"Zhang Dan","year":"2024","unstructured":"Dan Zhang, Sining Zhoubian, Yisong Yue, Yuxiao Dong, and Jie Tang. Rest-mcts*: Llm self-training via process reward guided tree search. arXiv preprint arXiv:2406.03816, 2024."},{"key":"e_1_3_2_1_95_1","volume-title":"Guy Van den Broeck, and Nanyun Peng. Adaptable logical control for large language models. arXiv preprint arXiv:2406.13892","author":"Zhang Honghua","year":"2024","unstructured":"Honghua Zhang, Po-Nien Kung, Masahiro Yoshida, Guy Van den Broeck, and Nanyun Peng. Adaptable logical control for large language models. arXiv preprint arXiv:2406.13892, 2024."},{"key":"e_1_3_2_1_96_1","volume-title":"International Conference on Learning Representations (ICLR)","author":"Zhang Hongxin","year":"2024","unstructured":"Hongxin Zhang, Weihua Du, Jiaming Shan, Qinhong Zhou, Yilun Du, Joshua B Tenenbaum, Tianmin Shu, and Chuang Gan. Building cooperative embodied agents modularly with large language models. International Conference on Learning Representations (ICLR), 2024."},{"key":"e_1_3_2_1_97_1","volume-title":"Combo: Compositional world models for embodied multi-agent cooperation. arXiv preprint arXiv:2404.10775","author":"Zhang Hongxin","year":"2024","unstructured":"Hongxin Zhang, Zeyuan Wang, Qiushi Lyu, Zheyuan Zhang, Sunli Chen, Tianmin Shu, Yilun Du, and Chuang Gan. Combo: Compositional world models for embodied multi-agent cooperation. arXiv preprint arXiv:2404.10775, 2024."},{"key":"e_1_3_2_1_98_1","volume-title":"Sola: Solver-layer adaption of llm for better logic reasoning. arXiv preprint arXiv:2402.11903","author":"Zhang Yu","year":"2024","unstructured":"Yu Zhang, Hui-Ling Zhen, Zehua Pei, Yingzhao Lian, Lihao Yin, Mingxuan Yuan, and Bei Yu. Sola: Solver-layer adaption of llm for better logic reasoning. arXiv preprint arXiv:2402.11903, 2024."},{"key":"e_1_3_2_1_99_1","volume-title":"Retrieval-augmented generation for ai-generated content: A survey. arXiv preprint arXiv:2402.19473","author":"Zhao Penghao","year":"2024","unstructured":"Penghao Zhao, Hailin Zhang, Qinhan Yu, Zhengren Wang, Yunteng Geng, Fangcheng Fu, Ling Yang, Wentao Zhang, and Bin Cui. Retrieval-augmented generation for ai-generated content: A survey. arXiv preprint arXiv:2402.19473, 2024."},{"key":"e_1_3_2_1_100_1","volume-title":"et al. Felm: Benchmarking factuality evaluation of large language models. Advances in Neural Information Processing Systems (NeurIPS), 36","author":"Zhao Yiran","year":"2024","unstructured":"Yiran Zhao, Jinghan Zhang, I Chern, Siyang Gao, Pengfei Liu, Junxian He, et al. Felm: Benchmarking factuality evaluation of large language models. Advances in Neural Information Processing Systems (NeurIPS), 36, 2024."},{"key":"e_1_3_2_1_101_1","volume-title":"Pragmatic instruction following and goal assistance via cooperative language-guided inverse planning. arXiv preprint arXiv:2402.17930","author":"Zhi-Xuan Tan","year":"2024","unstructured":"Tan Zhi-Xuan, Lance Ying, Vikash Mansinghka, and Joshua B Tenenbaum. Pragmatic instruction following and goal assistance via cooperative language-guided inverse planning. arXiv preprint arXiv:2402.17930, 2024."}],"event":{"name":"ASPLOS '26:31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Pittsburgh PA USA","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3760250.3762235","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T15:08:55Z","timestamp":1765465735000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3760250.3762235"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,11]]},"references-count":101,"alternative-id":["10.1145\/3760250.3762235","10.1145\/3760250"],"URL":"https:\/\/doi.org\/10.1145\/3760250.3762235","relation":{},"subject":[],"published":{"date-parts":[[2025,12,11]]},"assertion":[{"value":"2025-12-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}