Learning Intelligent Theorem Proving from Large Formal Corpora.

Published in: ISAIM (2016)

Keyphrases

theorem proving
learning algorithm
first order logic
theorem prover
proof planning
data mining
simulated annealing
logic programs
inference rules
decision procedures