Keyword:TPTP

Publications
A Chat with Bard Geoff Sutcliffe, Jack McKeown and Alexander Steen EasyChair Preprint 10329
Benchmarking LLMs Against TPTP: A Vision for the Near Future Andrija Urošević, Gordan Đurić and Sana Stojanović-Đurđević In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
Challenging Benchmarks for Diagrammatic Equivalence of Circuits in TPTP and SMT-LIB Julie Cailler, Noé Delorme and Sophie Tourret In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic Alexander Steen, Geoff Sutcliffe, Pascal Fontaine and Jack McKeown In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Defining the meaning of TPTP formatted proofs Roberto Blanco, Tomer Libal and Dale Miller In:IWIL-2015. 11th International Workshop on the Implementation of Logics
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps Geoff Sutcliffe and Stephan Schulz In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Things You Can't do With a Vampire Geoff Sutcliffe In:Proceedings of the 1st and 2nd Vampire Workshops
Automated Theorem Proving using the TPTP Process Instruction Language Muhammad Nassar and Geoff Sutcliffe In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning