Genetic Reasoning: Evolutionary Induction of Mathematical Proofs.

Peter Nordin, Anders Eriksson, Mats G. Nordahl

Browse the full EUROGP paper archive.