26 citations · 107 across the 13 of their papers we have counts for
14 papers
Generational Computation Reduction in Informal Counterexample-Driven Genetic Programming
Thomas Helmuth, Edward Pantridge, James Gunder Frazier +1
Counterexample-driven genetic programming (CDGP) uses specifications provided as formal constraints to generate the training cases used to evaluate evolving programs. It has also b…
Solving Novel Program Synthesis Problems with Genetic Programming using Parametric Polymorphism
Edward Pantridge, Thomas Helmuth
Contemporary genetic programming (GP) systems for general program synthesis have been primarily concerned with evolving programs that can manipulate values from a standard set of p…
A Static Analysis of Informed Down-Samples
Ryan Boldi, Alexander Lalejini, Thomas Helmuth +1
We present an analysis of the loss of population-level test coverage induced by different down-sampling strategies when combined with lexicase selection. We study recorded populati…
Untangling the Effects of Down-Sampling and Selection in Genetic Programming
Ryan Boldi, Ashley Bao, Martin Briesch +4
Genetic programming systems often use large training sets to evaluate the quality of candidate solutions for selection, which is often computationally expensive. Down-sampling trai…
Informed Down-Sampled Lexicase Selection: Identifying productive training cases for efficient problem solving
Ryan Boldi, Martin Briesch, Dominik Sobania +5
Genetic Programming (GP) often uses large training sets and requires all individuals to be evaluated on all training cases during selection. Random down-sampled lexicase selection…
Lexicase Selection at Scale
Li Ding, Ryan Boldi, Thomas Helmuth +1
Lexicase selection is a semantic-aware parent selection method, which assesses individual test cases in a randomly-shuffled data stream. It has demonstrated success in multiple res…
Functional Code Building Genetic Programming
Edward Pantridge, Thomas Helmuth, Lee Spector
General program synthesis has become an important application area for genetic programming (GP), and for artificial intelligence more generally. Code Building Genetic Programming (…
The Environmental Discontinuity Hypothesis for Down-Sampled Lexicase Selection
Ryan Boldi, Thomas Helmuth, Lee Spector
Down-sampling training data has long been shown to improve the generalization performance of a wide range of machine learning systems. Recently, down-sampling has proved effective…
Population Diversity Leads to Short Running Times of Lexicase Selection
Thomas Helmuth, Johannes Lengler, William La Cava
In this paper we investigate why the running time of lexicase parent selection is empirically much lower than its worst-case bound of O(N*C). We define a measure of population dive…
PSB2: The Second Program Synthesis Benchmark Suite
Thomas Helmuth, Peter Kelly
For the past six years, researchers in genetic programming and other program synthesis disciplines have used the General Program Synthesis Benchmark Suite to benchmark many aspects…
Problem-solving benefits of down-sampled lexicase selection
Thomas Helmuth, Lee Spector
In genetic programming, an evolutionary method for producing computer programs that solve specified computational problems, parent selection is ordinarily based on aggregate measur…
Comparing and Combining Lexicase Selection and Novelty Search
Lia Jundt, Thomas Helmuth
Lexicase selection and novelty search, two parent selection methods used in evolutionary computation, emphasize exploring widely in the search space more than traditional methods s…
Lexicase Selection of Specialists
Thomas Helmuth, Edward Pantridge, Lee Spector
Lexicase parent selection filters the population by considering one random training case at a time, eliminating any individuals with errors for the current case that are worse than…
A probabilistic and multi-objective analysis of lexicase selection and epsilon-lexicase selection
William La Cava, Thomas Helmuth, Lee Spector +1
Lexicase selection is a parent selection method that considers training cases individually, rather than in aggregate, when performing parent selection. Whereas previous work has de…