The CADE-25 Automated Theorem Proving system competition – CASC-25
Geoff Sutcliffe, Josef Urban · AI Communications · 2016
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 outlin e of the competition design, and a commentated summary of the results, are presented.