26 citations · 107 across the 13 of their papers we have counts for
1 paper · 1 filter
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…