{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T12:05:13Z","timestamp":1787313913670,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CCF-2311469"],"award-info":[{"award-number":["CCF-2311469"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728720","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:08:09Z","timestamp":1753729689000},"page":"1358-1362","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7965-7712","authenticated-orcid":false,"given":"Antonio","family":"Mastropaolo","sequence":"first","affiliation":[{"name":"Department of Computer Science, William & Mary, USA, Williamsburg, Virginia, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5626-7586","authenticated-orcid":false,"given":"Denys","family":"Poshyvanyk","sequence":"additional","affiliation":[{"name":"Department of Computer Science, William & Mary, USA, Williamsburg, Virginia, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Amazon CodeWhisperer. https:\/\/aws.amazon.com\/codewhisperer\/. Accessed: 2024-03-10."},{"key":"e_1_3_2_1_2_1","unstructured":"[n. d.]. ChatGPT https:\/\/openai.com\/blog\/chatgpt."},{"key":"e_1_3_2_1_3_1","unstructured":"[n. d.]. GitHub Copilot \u2013 Your AI pair programmer. https:\/\/github.com\/features\/copilot\/. Accessed: 2024-03-10."},{"key":"e_1_3_2_1_4_1","volume-title":"Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al.","author":"Achiam Josh","year":"2023","unstructured":"Josh Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman, Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al. 2023. Gpt-4 technical report. arXiv preprint arXiv:2303.08774 (2023)."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 34th International Conference on Machine Learning -","volume":"70","author":"Allamanis Miltiadis","year":"2017","unstructured":"Miltiadis Allamanis, Pankajan Chanthirasegaran, Pushmeet Kohli, and Charles Sutton. 2017. Learning continuous semantic representations of symbolic expressions. In Proceedings of the 34th International Conference on Machine Learning - Volume 70 (Sydney, NSW, Australia) (ICML'17). JMLR.org, 80\u201388."},{"key":"e_1_3_2_1_6_1","unstructured":"Anthropic. n.d.. The Claude 3 Model Family: Opus Sonnet Haiku. https:\/\/www-cdn.anthropic.com\/de8ba9b01c9ab7cbabf5c33b80b7bbc618857627\/Model_Card_Claude_3.pdf. Accessed: 2025-02-26."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 36th International Conference on Neural Information Processing Systems","author":"Arakelyan Shushan","year":"2024","unstructured":"Shushan Arakelyan, Anna Hakhverdyan, Miltiadis Allamanis, Luis Garcia, Christophe Hauser, and Xiang Ren. 2024. NS3: neuro-symbolic semantic code search. In Proceedings of the 36th International Conference on Neural Information Processing Systems (New Orleans, LA, USA) (NIPS '22). Curran Associates Inc., Red Hook, NY, USA, Article 761, 16 pages."},{"key":"e_1_3_2_1_8_1","unstructured":"DeepSeek-AI Qihao Zhu Daya Guo Zhihong Shao Dejian Yang Peiyi Wang Runxin Xu Y. Wu Yukun Li Huazuo Gao Shirong Ma Wangding Zeng Xiao Bi Zihui Gu Hanwei Xu Damai Dai Kai Dong Liyue Zhang Yishi Piao Zhibin Gou Zhenda Xie Zhewen Hao Bingxuan Wang Junxiao Song Deli Chen Xin Xie Kang Guan Yuxiang You Aixin Liu Qiushi Du Wenjun Gao Xuan Lu Qinyu Chen Yaohui Wang Chengqi Deng Jiashi Li Chenggang Zhao Chong Ruan Fuli Luo and Wenfeng Liang. 2024. DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence. arXiv:2406.11931 [cs.SE] https:\/\/arxiv.org\/abs\/2406.11931"},{"key":"e_1_3_2_1_9_1","unstructured":"Jacob Devlin Jonathan Uesato Rishabh Singh and Pushmeet Kohli. 2017. Semantic Code Repair using Neuro-Symbolic Transformation Networks. http:\/\/arxiv.org\/abs\/1710.11054 arXiv:1710.11054."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2204.05999"},{"key":"e_1_3_2_1_11_1","volume-title":"Chaos: Making a new science","author":"Gleick James","year":"2008","unstructured":"James Gleick. 2008. Chaos: Making a new science. Penguin."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3695988"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"Yaojie Hu Xingjian Shi Qiang Zhou and Lee Pike. 2022. Fix Bugs with Transformer through a Neural-Symbolic Edit Grammar. arXiv:2204.06643. 10.48550\/arXiv.2204.06643","DOI":"10.48550\/arXiv.2204.06643"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","unstructured":"Prithwish Jana Piyush Jha Haoyang Ju Gautham Kishore Aryan Mahajan and Vijay Ganesh. 2024. CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution. arXiv:2306.06755. 10.48550\/arXiv.2306.06755","DOI":"10.48550\/arXiv.2306.06755"},{"key":"e_1_3_2_1_15_1","unstructured":"Aixin Liu Bei Feng Bing Xue Bingxuan Wang Bochao Wu Chengda Lu Chenggang Zhao Chengqi Deng Chenyu Zhang Chong Ruan et al. 2024. Deepseek-v3 technical report. arXiv preprint arXiv:2412.19437 (2024)."},{"key":"e_1_3_2_1_16_1","volume-title":"Federico Cassano, Joel Lamy-Poirier, Nouamane Tazi, Ao Tang, Dmytro Pykhtar, Jiawei Liu, Yuxiang Wei, et al.","author":"Lozhkov Anton","year":"2024","unstructured":"Anton Lozhkov, Raymond Li, Loubna Ben Allal, Federico Cassano, Joel Lamy-Poirier, Nouamane Tazi, Ao Tang, Dmytro Pykhtar, Jiawei Liu, Yuxiang Wei, et al. 2024. Starcoder 2 and the stack v2: The next generation. arXiv preprint arXiv:2402.19173 (2024)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","unstructured":"Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou and Pushmeet Kohli. 2016. Neuro-Symbolic Program Synthesis. arXiv:1611.01855. 10.48550\/arXiv.1611.01855","DOI":"10.48550\/arXiv.1611.01855"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","unstructured":"Henrijs Princis Cristina David and Alan Mycroft. 2024. Enhancing SQL Query Generation with Neurosymbolic Reasoning. arXiv:2408.13888. 10.48550\/arXiv.2408.13888","DOI":"10.48550\/arXiv.2408.13888"},{"key":"e_1_3_2_1_19_1","volume-title":"Yossi Adi, Jingyu Liu, Romain Sauvestre, Tal Remez, et al.","author":"Roziere Baptiste","year":"2023","unstructured":"Baptiste Roziere, Jonas Gehring, Fabian Gloeckle, Sten Sootla, Itai Gat, Xiaoqing Ellen Tan, Yossi Adi, Jingyu Liu, Romain Sauvestre, Tal Remez, et al. 2023. Code llama: Open foundation models for code. arXiv preprint arXiv:2308.12950 (2023)."},{"key":"e_1_3_2_1_20_1","volume-title":"Efficient and green large language models for software engineering: Vision and the road ahead. ACM Transactions on Software Engineering and Methodology","author":"Shi Jieke","year":"2024","unstructured":"Jieke Shi, Zhou Yang, and David Lo. 2024. Efficient and green large language models for software engineering: Vision and the road ahead. ACM Transactions on Software Engineering and Methodology (2024)."},{"key":"e_1_3_2_1_21_1","volume-title":"Toward Neurosymbolic Program Comprehension. arXiv preprint arXiv:2502.01806","author":"Velasco Alejandro","year":"2025","unstructured":"Alejandro Velasco, Aya Garryyeva, David N Palacio, Antonio Mastropaolo, and Denys Poshyvanyk. 2025. Toward Neurosymbolic Program Comprehension. arXiv preprint arXiv:2502.01806 (2025)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","unstructured":"Pablo Villalobos Anson Ho Jaime Sevilla Tamay Besiroglu Lennart Heim and Marius Hobbhahn. 2024. Will we run out of data? Limits of LLM scaling based on human-generated data. 10.48550\/arXiv.2211.04325","DOI":"10.48550\/arXiv.2211.04325"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485275"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485275"},{"key":"e_1_3_2_1_25_1","volume-title":"The Twelfth International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=fVxIEHGnVT","author":"Xue Min","year":"2024","unstructured":"Min Xue, Artur Andrzejak, and Marla Leuther. 2024. An interpretable error correction method for enhancing code-to-code translation. In The Twelfth International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=fVxIEHGnVT"}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:08:57Z","timestamp":1753729737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728720"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":25,"alternative-id":["10.1145\/3696630.3728720","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728720","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}