An Empirical Assessment of Progress in Automated Theorem Proving

Download PDF
Open Webpage

Geoff Sutcliffe, Christian B. Suttner, Lars Kotthoff, C. Raymond Perrault, Zain Khalid

Published: 2024, Last Modified: 30 Sept 2024IJCAR (1) 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: The TPTP World is a well established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems. This work uses data in the TPTP World to assess progress in ATP from 2015 to 2023.