An Empirical Assessment of Progress in
Automated Theorem Proving

Overview

The TPTP and TSTP

• The TPTP Problem Library
• The TSTP Solution Library
• Problem Ratings

The Analyses

• Analysis Data
• Six Analyses

Evidence of Progress

• First Solutions
• Five Data-based Results
• Looking Back

Conclusions

The End - Any Questions?

Advertisement: The TPTP World Tour