The TPTP World - Infrastructure for Automated Reasoning
Talk by Geoff Sutcliffe
Abstract: 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.
More details at The TPTP World - Infrastructure for Automated Reasoning
Bio: Geoff Sutcliffe is a Professor in the Department of Computer Science at the University of Miami. He received a BSc(Hons) and MSc from the University of Natal, and a PhD in Computer Science from the University of Western Australia. His research is in the area of Automated Theorem Proving (ATP), particularly in the evaluation and effective use of ATP systems. His most prominent achievements are the development and ongoing maintenance of the TPTP World, and the development and ongoing organization of the CADE ATP System Competition. He is one of the leaders of the StarExec project. His research has produced over 160 refereed journal, conference, and workshop papers.