Towards evolutionary theorem proving for isabelle/HOL.
Yutaka NagashimaPublished in: GECCO (Companion) (2019)
Keyphrases
- theorem proving
- theorem prover
- natural deduction
- first order logic
- automated reasoning
- automated deduction
- inference rules
- term rewriting
- automated theorem proving
- decision procedures
- parallel search
- timed automata
- automatic programming
- genetic algorithm
- proof procedure
- proof search
- geometry theorem proving
- distributed search
- logical inference
- evolutionary computation
- proof planning
- consequence finding
- predicate calculus
- genetic programming
- simulated annealing