The 12th IJCAR Automated Theorem Proving System Competition—CASC-J12
The 12th IJCAR Automated Theorem Proving System Competition—CASC-J12
Geoff Sutcliffe
2025 · DOI: 10.1177/30504554241305110
2 Citations
TLDR
An outline of the competition design is presented and a commentated summary of the results are presented of the CASC-J12 results.
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-J12 was the 29th competition in the CASC series. Nineteen ATP systems competed in the various divisions. This paper presents an outline of the competition design and a commentated summary of the results.