The CADE-29 Automated Theorem Proving System Competition – CASC-29

Article type: Research Article

Authors: Sutcliffe, Geoff^{a; *} | Desharnais, Martin^b

Affiliations: [a] Department of Computer Science, University of Miami, USA | [b] Automation of Logic, Max Planck Institute for Informatics, Germany

Correspondence: [*] Corresponding author. E-mail: geoff@tptp.org.

Abstract: The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic, Automated Theorem Proving (ATP) systems – the world championship for such systems. CASC-29 was the twenty-eighth competition in the CASC series. Twenty-four ATP systems competed in the various divisions. This paper presents an outline of the competition design and a commentated summary of the results.

Keywords: Automated Theorem Proving, competition

DOI: 10.3233/AIC-230325

Journal: AI Communications, vol. 37, no. 4, pp. 485-503, 2024