The TPTP World - Infrastructure for Automated Reasoning

Add to your list(s) Download to your calendar using vCal

• Dr Geoff Sutcliffe - Department of Computer Science, University of Miami, USA
• Wednesday 07 May 2025, 15:05-15:55
• Lecture Theatre 1, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Ben Karniely.

The TPTP World is the established infrastructure used by the Automated Theorem Proving (ATP) community for research, development, and deployment of ATP systems. The data, standards, and services provided by the TPTP World have made it easy to develop, evaluate, and deploy ATP technology. This talk and tutorial reviews the core features of the TPTP World, describes key services of the TPTP World, and presents some successful applications. The use of ATP as the reliable substrate to subsymbolic AI systems (e.g., LLMs), to form neurosymbolic AI systems, is reviewed.

Link to join virtually: https://cam-ac-uk.zoom.us/j/87421957265

This talk is being recorded. If you do not wish to be seen in the recording, please avoid sitting in the front three rows of seats in the lecture theatre. Any questions asked will also be included in the recording. The recording will be made available on the Department’s webpage

This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Chris Davis' list
• Department of Computer Science and Technology talks and seminars
• Graduate-Seminars
• Guy Emerson's list
• Interested Talks
• Lecture Theatre 1, Computer Laboratory, William Gates Building
• School of Technology
• Trust & Technology Initiative - interesting events
• Wednesday Seminars - Department of Computer Science and Technology
• bld31
• computer science
• se393's list

Note that ex-directory lists are not shown.