{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:22Z","timestamp":1750219942273,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T00:00:00Z","timestamp":1689379200000},"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":[[2023,7,15]]},"DOI":"10.1145\/3583133.3596373","type":"proceedings-article","created":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T23:30:33Z","timestamp":1690241433000},"page":"1981-1989","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Human-Driven Genetic Programming for Program Synthesis: A Prototype"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2330-6809","authenticated-orcid":false,"given":"Thomas","family":"Helmuth","sequence":"first","affiliation":[{"name":"Hamilton College, Clinton, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-9549-1485","authenticated-orcid":false,"given":"James Gunder","family":"Frazier","sequence":"additional","affiliation":[{"name":"Hamilton College, Clinton, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-5139-8490","authenticated-orcid":false,"given":"Yuhan","family":"Shi","sequence":"additional","affiliation":[{"name":"Hamilton College, Clinton, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-3905-2235","authenticated-orcid":false,"given":"Ahmed Farghali","family":"Abdelrehim","sequence":"additional","affiliation":[{"name":"Hamilton College, Clinton, United States of America"}]}],"member":"320","published-online":{"date-parts":[[2023,7,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208071"},{"key":"e_1_3_2_1_3_1","volume-title":"Program Synthesis with Large Language Models. arXiv (Aug","author":"Austin Jacob","year":"2021","unstructured":"Jacob Austin , Augustus Odena , Maxwell Nye , Maarten Bosma , Henryk Michalewski , David Dohan , Ellen Jiang , Carrie Cai , Michael Terry , Quoc Le , and Charles Sutton . 2021. Program Synthesis with Large Language Models. arXiv (Aug . 2021 ). http:\/\/arxiv.org\/abs\/2108.07732 arXiv: 2108.07732. Jacob Austin, Augustus Odena, Maxwell Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie Cai, Michael Terry, Quoc Le, and Charles Sutton. 2021. Program Synthesis with Large Language Models. arXiv (Aug. 2021). http:\/\/arxiv.org\/abs\/2108.07732 arXiv: 2108.07732."},{"key":"e_1_3_2_1_4_1","unstructured":"Matej Balog Alexander L. Gaunt Marc Brockschmidt Sebastian Nowozin and Daniel Tarlow. 2017. DeepCoder: Learning to write programs. In ICLR.  Matej Balog Alexander L. Gaunt Marc Brockschmidt Sebastian Nowozin and Daniel Tarlow. 2017. DeepCoder: Learning to write programs. In ICLR."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55696-3_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3321707.3321743"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1162\/evco_a_00228"},{"key":"e_1_3_2_1_8_1","unstructured":"Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Ponde Jared Kaplan Harri Edwards Yura Burda Nicholas Joseph Greg Brockman Alex Ray Raul Puri Gretchen Krueger Michael Petrov Heidy Khlaaf Girish Sastry Pamela Mishkin Brooke Chan Scott Gray Nick Ryder Mikhail Pavlov Alethea Power Lukasz Kaiser Mohammad Bavarian Clemens Winter Philippe Tillet Felipe Such Dave Cummings Matthias Plappert Fotios Chantzis Elizabeth Barnes Ariel Herbert-Voss Will Guss Alex Nichol Igor Babuschkin Suchir Balaji Shantanu Jain Andrew Carr Jan Leike Josh Achiam Vedant Misra Evan Morikawa Alec Radford Matthew Knight Miles Brundage Mira Murati Katie Mayer Peter Welinder Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever and Wojciech Zaremba. 2021. Evaluating Large Language Models Trained on Code. arXiv (2021). http:\/\/arxiv.org\/abs\/2107.03374  Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Ponde Jared Kaplan Harri Edwards Yura Burda Nicholas Joseph Greg Brockman Alex Ray Raul Puri Gretchen Krueger Michael Petrov Heidy Khlaaf Girish Sastry Pamela Mishkin Brooke Chan Scott Gray Nick Ryder Mikhail Pavlov Alethea Power Lukasz Kaiser Mohammad Bavarian Clemens Winter Philippe Tillet Felipe Such Dave Cummings Matthias Plappert Fotios Chantzis Elizabeth Barnes Ariel Herbert-Voss Will Guss Alex Nichol Igor Babuschkin Suchir Balaji Shantanu Jain Andrew Carr Jan Leike Josh Achiam Vedant Misra Evan Morikawa Alec Radford Matthew Knight Miles Brundage Mira Murati Katie Mayer Peter Welinder Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever and Wojciech Zaremba. 2021. Evaluating Large Language Models Trained on Code. arXiv (2021). http:\/\/arxiv.org\/abs\/2107.03374"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3449639.3459285"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-022-09434-y"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3071178.3071330"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205455.3205603"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739480.2754769"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1162\/artl_a_00341"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2014.2362729"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377929.3389983"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-16-8113-4_5"},{"key":"e_1_3_2_1_19_1","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"Koza John R.","year":"1992","unstructured":"John R. Koza . 1992 . Genetic Programming: On the Programming of Computers by Means of Natural Selection . MIT Press , Cambridge, MA, USA . John R. Koza. 1992. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3071178.3071224"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18)","author":"Krawiec Krzysztof","year":"2018","unstructured":"Krzysztof Krawiec , Iwo B\u0142\u0105dek , Jerry Swan , and John H. Drake . 2018. Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs . In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18) , Jerome Lang (Ed.). International Joint Conferences on Artificial Intelligence, Stockholm, 5304--5308. https:\/\/www.ijcai.org\/proceedings\/ 2018 \/742 Krzysztof Krawiec, Iwo B\u0142\u0105dek, Jerry Swan, and John H. Drake. 2018. Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18), Jerome Lang (Ed.). International Joint Conferences on Artificial Intelligence, Stockholm, 5304--5308. https:\/\/www.ijcai.org\/proceedings\/2018\/742"},{"key":"e_1_3_2_1_22_1","volume-title":"A Machine Learning Framework for Programming by Example. ICML","author":"Menon Aditya Krishna","year":"2013","unstructured":"Aditya Krishna Menon , Omer Tamuz , Sumit Gulwani , Butler Lampson , and Adam Tauman Kalai . 2013. A Machine Learning Framework for Programming by Example. ICML ( 2013 ), 9. Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, and Adam Tauman Kalai. 2013. A Machine Learning Framework for Programming by Example. ICML (2013), 9."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5121\/ijesa.2012.2204"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3583131.3590502"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3512290.3528866"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72812-0_9"},{"key":"e_1_3_2_1_27_1","volume-title":"MTGP: Combining Metamorphic Testing and Genetic Programming","author":"Sobania Dominik","year":"2023","unstructured":"Dominik Sobania , Martin Briesch , Philipp R\u00f6chner , and Franz Rothlauf . 2023 . MTGP: Combining Metamorphic Testing and Genetic Programming . In Genetic Programming, Gisele Pappa, Mario Giacobini, and Zdenek Vasicek (Eds.). Springer Nature Switzerland , Cham , 324--338. Dominik Sobania, Martin Briesch, Philipp R\u00f6chner, and Franz Rothlauf. 2023. MTGP: Combining Metamorphic Testing and Genetic Programming. In Genetic Programming, Gisele Pappa, Mario Giacobini, and Zdenek Vasicek (Eds.). Springer Nature Switzerland, Cham, 324--338."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3512290.3528700"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2022.3162324"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068292"}],"event":{"name":"GECCO '23 Companion: Companion Conference on Genetic and Evolutionary Computation","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"location":"Lisbon Portugal","acronym":"GECCO '23 Companion"},"container-title":["Proceedings of the Companion Conference on Genetic and Evolutionary Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583133.3596373","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3583133.3596373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:55Z","timestamp":1750182535000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583133.3596373"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,15]]},"references-count":31,"alternative-id":["10.1145\/3583133.3596373","10.1145\/3583133"],"URL":"https:\/\/doi.org\/10.1145\/3583133.3596373","relation":{},"subject":[],"published":{"date-parts":[[2023,7,15]]},"assertion":[{"value":"2023-07-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}