Generational Computation Reduction in Informal Counterexample-Driven Genetic Programming
Created by W.Langdon from
gp-bibliography.bib Revision:1.8081
- @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