7 research outputs found
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
No full text
The TPTP Typed First-order Form with Arithmetic
No full textAbstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has been extended to include a typed first-order logic, which in turn has enabled the integration of arithmetic. This paper describes these developments.
Theorem proving in large formal mathematics as an emerging ai field
No full textContains fulltext :
120023.pdf (preprint version ) (Closed access
MaSh: Machine Learning for Sledgehammer
Get PDFContains fulltext :
117086.pdf (author's version ) (Closed access
