1 paper
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…