Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Frazier, James Gunder"'
Counterexample-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
Externí odkaz:
http://arxiv.org/abs/2408.12604
