An Empirical Assessment of Progress in Automated Theorem Proving

会议论文
出版模式：

开放获取
发表日期：

2024年

查看全文

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

摘要

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.