A competition for evaluating the performance of automated theorem proving (ATP) systems was held in Pennsylvania. The evaluation was done on the basis of number of problems solved and average runtime for successful solutions. Improvement of the system design by introducing a semantic division and an installation package were reported inefficient. The competition helped in evaluating relative capabilities of ATP systems, stimulation of research and improvement of implementations.
- Automated theorem proving
ASJC Scopus subject areas
- Computational Theory and Mathematics
- Artificial Intelligence