The CADE-29 Automated Theorem Proving System Competition – CASC-29-Reference-Cited by-同舟云学术

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

Published:2024-03-25 Issue: Volume: Page:1-19
ISSN:1875-8452
Container-title:AI Communications
language:
Short-container-title:AIC

Author:

Sutcliffe Geoff¹,Desharnais Martin²

Affiliation:

1. Department of Computer Science, University of Miami, USA

2. Automation of Logic, Max Planck Institute for Informatics, Germany

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.

Publisher

IOS Press

Reference39 articles.

1. A. Bhayat, M. Rawson and J. Schoisswohl, Superposition with delayed unification, in: Proceedings of the 29th International Conference on Automated Deduction, B. Pientka and C. Tinelli, eds, Lecture Notes in Computer Science, Springer-Verlag, 2023, pp. 23–40.

2. A Combinator-Based Superposition Calculus for Higher-Order Logic

3. Mining the Archive of Formal Proofs

4. Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder

5. F. Bobot, M. Bromberger and J. Hoenicke, 18th International Satisfiability Modulo Theories Competition (SMT-COMP 2023): Rules and Procedures, 2023, https://smt-comp.github.io/2023/rules.pdf.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Empirical Assessment of Progress in Automated Theorem Proving;Lecture Notes in Computer Science;2024