Proof searching in HOL4 with genetic algorithm.
M. Zohaib NawazOsman HasanM. Saqib NawazPhilippe Fournier-VigerMeng SunPublished in: SAC (2020)
Keyphrases
- genetic algorithm
- theorem prover
- natural deduction
- theorem proving
- higher order logic
- fitness function
- multi objective
- neural network
- simulated annealing
- real coded
- inference rules
- genetic algorithm ga
- artificial neural networks
- higher order
- population size
- multi objective optimization
- first order logic
- metaheuristic
- genetic programming
- data sets
- tabu search
- expert systems
- bayesian networks
- formal methods
- optimization algorithm
- social networks
- immune genetic algorithm
- hybrid ga