20 citations · 59 across the 9 of their papers we have counts for
4 papers · 1 filter
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…
Probabilistic Lexicase Selection
Li Ding, Edward Pantridge, Lee Spector
Lexicase selection is a widely used parent selection algorithm in genetic programming, known for its success in various task domains such as program synthesis, symbolic regression,…
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…