Human-Driven Genetic Programming for Program Synthesis: A Prototype

Created by W.Langdon from gp-bibliography.bib Revision:1.7644

@InProceedings{helmuth:2023:iGECCO,

• author = "Thomas Helmuth and James Gunder Frazier and Yuhan Shi and Ahmed Farghali Abdelrehim",
• title = "{Human-Driven} Genetic Programming for Program Synthesis: A Prototype",
• booktitle = "Interactive Methods at GECCO",
• year = "2023",
• editor = "Matthew Johns and Ed Keedwell and Nick Ross and David Walker",
• pages = "1981--1989",
• address = "Lisbon, Portugal",
• series = "GECCO '23",
• month = "15-19 " # jul,
• organisation = "SIGEVO",
• publisher = "Association for Computing Machinery",
• publisher_address = "New York, NY, USA",
• keywords = "genetic algorithms, genetic programming, interactive evolution, automatic programming",
• isbn13 = "9798400701191",
• DOI = "doi:10.1145/3583133.3596373",
• size = "9 pages",
• abstract = "End users can benefit from automatic program synthesis in a variety of applications, many of which require the user to specify the program they would like to generate. Recent advances in genetic programming allow it to generate general purpose programs similar to those humans write, but require specifications in the form of extensive, labeled training data, a barrier to using it for user-driven synthesis. Here we describe the prototype of a human-driven genetic programming system that can be used to synthesize programs from scratch. In order to address the issue of extensive training data, we draw inspiration from counterexample-driven genetic programming, allowing the user to initially provide only a few training cases and asking the user to verify the correctness of potential solutions on automatically generated potential counterexample cases. We present anecdotal experiments showing that our prototype can solve a variety of easy program synthesis problems entirely based on user input.",
• notes = "GECCO-2023 A Recombination of the 32nd International Conference on Genetic Algorithms (ICGA) and the 28th Annual Genetic Programming Conference (GP)",

}

Genetic Programming entries for Thomas Helmuth James Gunder Frazier Yuhan Shi Ahmed Farghali Abdelrehim

Citations