Genetic Programming + Proof Search = Automatic Improvement.

Zoltan A. Kocsis Jerry Swan

Published in: J. Autom. Reason. (2018)

Keyphrases

genetic programming
proof search
evolutionary algorithm
symbolic regression
linear logic
theorem prover
search procedure
proof planning
genetic algorithm
fixed point