Evaluation of Automated Theorem Proving on the Mizar Mathematical Library.

Josef Urban Krystof Hoder Andrei Voronkov

Published in: ICMS (2010)

Keyphrases

automated theorem proving
theorem proving
computer assisted
theorem prover
neural network
real time
evaluation method
evaluation criteria
data mining
genetic algorithm
answer set programming
gold standard
evaluation methods