An evolutionary/heuristic-based proof searching framework for interactive theorem prover.
M. Saqib NawazM. Zohaib NawazOsman HasanPhilippe Fournier-VigerMeng SunPublished in: Appl. Soft Comput. (2021)
Keyphrases
- theorem prover
- theorem proving
- automated theorem proving
- formal proof
- inference rules
- first order logic
- automated reasoning
- natural deduction
- term rewriting
- automated deduction
- computer algebra
- computer algebra systems
- proof planning
- higher order logic
- decision procedures
- probabilistic model
- user friendly
- user interaction
- simulated annealing
- higher order