{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T00:54:27Z","timestamp":1773708867419,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,14]],"date-time":"2024-07-14T00:00:00Z","timestamp":1720915200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,14]]},"DOI":"10.1145\/3638530.3654426","type":"proceedings-article","created":{"date-parts":[[2024,10,15]],"date-time":"2024-10-15T12:55:52Z","timestamp":1728996952000},"page":"539-542","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Synergistic Utilization of LLMs for Program Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-5576-7529","authenticated-orcid":false,"given":"David","family":"Vella Zarb","sequence":"first","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8188-5047","authenticated-orcid":false,"given":"Geoff","family":"Parks","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3392-283X","authenticated-orcid":false,"given":"Timoleon","family":"Kipouros","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2024,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Ashish Tiwari. Neurosymbolic Repair for Low-Code Formula Languages. Proceedings of the ACM on Programming Languages, 6(OOPSLA2):1093--1122","author":"Bavishi Rohan","year":"2022","unstructured":"Rohan Bavishi, Harshit Joshi, Jos\u00e9 Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radi\u010dek, and Ashish Tiwari. Neurosymbolic Repair for Low-Code Formula Languages. Proceedings of the ACM on Programming Languages, 6(OOPSLA2):1093--1122, 2022."},{"key":"e_1_3_2_1_2_1","volume-title":"Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, et al. Evaluating Large Language Models Trained on Code. arXiv preprint arXiv:2107.03374","author":"Chen Mark","year":"2021","unstructured":"Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, et al. Evaluating Large Language Models Trained on Code. arXiv preprint arXiv:2107.03374, 2021."},{"key":"e_1_3_2_1_3_1","first-page":"17685","volume":"33","author":"Gupta Kavi","year":"2020","unstructured":"Kavi Gupta, Peter Ebert Christensen, Xinyun Chen, and Dawn Song. Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis. Advances in Neural Information Processing Systems, 33:17685--17695, 2020.","journal-title":"Repair for Neural Program Synthesis. Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3449639.3459285"},{"key":"e_1_3_2_1_5_1","first-page":"1039","volume-title":"Helmuth and Lee Spector. General Program Synthesis Benchmark Suite. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation","author":"Thomas","year":"2015","unstructured":"Thomas Helmuth and Lee Spector. General Program Synthesis Benchmark Suite. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, pages 1039--1046, 2015."},{"key":"e_1_3_2_1_6_1","volume-title":"Yuyao Wang, and Lingming Zhang. Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation. arXiv preprint arXiv:2305.01210","author":"Liu Jiawei","year":"2023","unstructured":"Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, and Lingming Zhang. Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation. arXiv preprint arXiv:2305.01210, 2023."},{"key":"e_1_3_2_1_7_1","volume-title":"Fully Autonomous Programming with Large Language Models. arXiv preprint arXiv:2304.10423","author":"Liventsev Vadim","year":"2023","unstructured":"Vadim Liventsev, Anastasiia Grishina, Aki H\u00e4rm\u00e4, and Leon Moonen. Fully Autonomous Programming with Large Language Models. arXiv preprint arXiv:2304.10423, 2023."},{"key":"e_1_3_2_1_8_1","volume-title":"Yossi Adi, Jingyu Liu, Tal Remez, J\u00e9r\u00e9my Rapin, et al. Code Llama: Open Foundation Models for Code. arXiv preprint arXiv:2308.12950","author":"Roziere Baptiste","year":"2023","unstructured":"Baptiste Roziere, Jonas Gehring, Fabian Gloeckle, Sten Sootla, Itai Gat, Xiaoqing Ellen Tan, Yossi Adi, Jingyu Liu, Tal Remez, J\u00e9r\u00e9my Rapin, et al. Code Llama: Open Foundation Models for Code. arXiv preprint arXiv:2308.12950, 2023."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/LA-CCI58595.2023.10409384"}],"event":{"name":"GECCO '24 Companion: Genetic and Evolutionary Computation Conference Companion","location":"Melbourne VIC Australia","acronym":"GECCO '24 Companion","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the Genetic and Evolutionary Computation Conference Companion"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3638530.3654426","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3638530.3654426","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:02Z","timestamp":1750291442000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3638530.3654426"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,14]]},"references-count":9,"alternative-id":["10.1145\/3638530.3654426","10.1145\/3638530"],"URL":"https:\/\/doi.org\/10.1145\/3638530.3654426","relation":{},"subject":[],"published":{"date-parts":[[2024,7,14]]},"assertion":[{"value":"2024-08-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}