Proving theorems by using evolutionary search with human involvement.
Szu-Yi HuangYing-ping ChenPublished in: CEC (2017)
Keyphrases
- evolutionary search
- evolutionary algorithm
- hybrid evolutionary
- fitness function
- extremal optimization
- genetic algorithm
- feature selection
- search procedure
- multi objective
- search space
- neural network
- digital topology
- fitness landscape
- evolutionary process
- evolutionary computation
- premature convergence
- multi objective optimization
- global optimization
- genetic algorithm ga
- genetic programming
- active learning
- machine learning