Metaheuristic Algorithms for Proof Searching in HOL4.

M. Saqib Nawaz Muhammad Zohaib Nawaz Osman Hasan Philippe Fournier-Viger

Published in: SEKE (2022)

Keyphrases

metaheuristic algorithms
theorem prover
natural deduction
theorem proving
ant colony optimization
metaheuristic
higher order logic
benchmark problems
variable neighborhood search
formal methods
neural network
computational efficiency
multi objective
search strategies
linear logic