Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants.
Li-An YangJui-Pin LiuChao-Hong ChenYing-Ping ChenPublished in: CoRR (2016)
Keyphrases
- evolutionary algorithm
- differential evolution
- evolutionary computation
- multi objective
- multi objective optimization
- optimization problems
- simulated annealing
- genetic programming
- mathematical proofs
- fitness function
- intelligent agents
- website
- evolution strategy
- differential evolution algorithm
- constrained optimization problems
- proof search
- machine learning
- genetic algorithm
- theorem proving
- linear logic
- cut elimination
- mathematical knowledge
- automated theorem provers
- cost function
- artificial neural networks
- theorem prover