Generational Computation Reduction in Informal Counterexample-Driven Genetic Programming

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

@InProceedings{Helmuth:2024:EuroGP,

• author = "Thomas Helmuth and Edward Pantridge and James Gunder Frazier and Lee Spector",
• editor = "Mario Giacobini and Bing Xue and Luca Manzoni",
• title = "Generational Computation Reduction in Informal Counterexample-Driven Genetic Programming",
• booktitle = "EuroGP 2024: Proceedings of the 27th European Conference on Genetic Programming",
• year = "2024",
• volume = "14631",
• series = "LNCS",
• publisher = "Springer",
• address = "Aberystwyth",
• month = "3-5 " # apr,
• organisation = "EvoStar, Species",
• pages = "21--37",
• keywords = "genetic algorithms, genetic programming",
• isbn13 = "978-3-031-56957-9",
• DOI = "doi:10.1007/978-3-031-56957-9_2",
• abstract = "Counter example-driven genetic programming (CDGP) uses specifications provided as formal constraints to generate the training cases used to evaluate evolving programs. It has also been extended to combine formal constraints and user-provided training data to solve symbolic regression problems. Here we show how the ideas underlying CDGP can also be applied using only user-provided training data, without formal specifications. We demonstrate the application of this method, called informal CDGP, to software synthesis problems. Our results show that informal CDGP finds solutions faster (i.e. with fewer program executions) than standard GP. Additionally, we propose two new variants to informal CDGP, and find that one produces significantly more successful runs on about half of the tested problems. Finally, we study whether the addition of counterexample training cases to the training set is useful by comparing informal CDGP to using a static subsample of the training set, and find that the addition of counterexamples significantly improves performance.",
• notes = "Part of \cite{Giacobini:2024:GP} EuroGP'2024 held in conjunction with EvoCOP2024, EvoMusArt2024 and EvoApplications2024",

}

Genetic Programming entries for Thomas Helmuth Edward R Pantridge James Gunder Frazier Lee Spector

Citations