The CADE-25 Automated Theorem Proving system competition – CASC-25

Article type: Research Article

Authors: Sutcliffe, Geoff^{a; *} | Urban, Josef^b

Affiliations: [a] Department of Computer Science, University of Miami, Miami, USA. E-mail: [email protected] | [b] Intelligent Systems ICIS, Radboud Universiteit, Nijmegen, The Netherlands

Correspondence: [*] Corresponding author: Geoff Sutcliffe, Department of Computer Science, University of Miami, USA. E-mail: [email protected].

Abstract: The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-25 was the twentieth competition in the CASC series. Twenty-seven ATP systems and system variants competed in the various competition divisions. An outline of the competition design, and a commentated summary of the results, are presented.

Keywords: Automated theorem proving, competition

DOI: 10.3233/AIC-150691

Journal: AI Communications, vol. 29, no. 3, pp. 423-433, 2016