An Empirical Assessment of Progress in Automated Theorem Proving

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

doi:10.1007/978-3-031-63498-7_4

Lecture Notes in Computer Science

2024

DOI: 10.1007/978-3-031-63498-7_4

|View full text |Cite

An Empirical Assessment of Progress in Automated Theorem Proving

Geoff Sutcliffe,

Christian Suttner,

Lars Kotthoff

et al.

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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2024

Publication Types

Select...

Book1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

References 58 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Stepping Stones in the TPTP World

Sutcliffe

2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The TPTP World is a well established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems. There are key components that help make the TPTP World a success: the TPTP problem library was first released in 1993, the CADE ATP System Competition (CASC) was conceived after CADE-12 in 1994, problem difficulty ratings were added in 1997, the current TPTP language was adopted in 2003, the SZS ontologies were specified in 2004, the TSTP solution library was built starting around 2005, the Specialist Problem Classes (SPCs) have been used to classify problems since 2010, the SystemOnTPTP service has been offered from 2011, the StarExec service was started in 2013, and a world of TPTP users have helped all along. This paper reviews these stepping stones in the development of the TPTP World.

show abstract

Stepping Stones in the TPTP World

Sutcliffe

2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

An Empirical Assessment of Progress in Automated Theorem Proving

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.

Cited by 1 publication

References 58 publications

Stepping Stones in the TPTP World

Stepping Stones in the TPTP World

Contact Info

Product

Resources

About