Automatic Programming Through Combinatorial Evolution.

Sebastian Fix Thomas Probst Oliver Ruggli Thomas Hanne Patrik Christen

Published in: CoRR (2021)

Keyphrases

automatic programming
grammatical evolution
theorem proving
gene expression programming
reinforcement learning
genetic programming
neural network
feature selection
expert systems
probability distribution
theorem prover