The 12th IJCAR Automated Theorem Proving System Competition-CASC-J12

被引：0
作者：
Sutcliffe, Geoff [1 ]
机构：
[1] Univ Miami, Dept Comp Sci, Coral Gables, FL 33146 USA
来源：
EUROPEAN JOURNAL ON ARTIFICIAL INTELLIGENCE | 2025年 / 38卷 / 01期
关键词：
automated theorem proving; competition;
D O I：
10.1177/30504554241305110
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：3 / 20
页数：18
相关论文
共 54 条
[1]   CARCARA: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format [J].
Andreotti, Bruno ;
Lachnitt, Hanna ;
Barbosa, Haniel .
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2023, 2023, 13993 :367-386
[2]  
[Anonymous], 1987, Automated theorem proving
[3]  
Balyo T, 2017, AAAI CONF ARTIF INTE, P5061
[4]   Reliable benchmarking: requirements and solutions [J].
Beyer, Dirk ;
Loewe, Stefan ;
Wendler, Philipp .
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 21 (01) :1-29
[5]  
Bhayat A., 2024, P 12 INT JOINT C AUT, P75
[6]  
Bhayat A, 2024, Arxiv, DOI [arXiv:2407.05208, 10.48550/arXiv.2407.05208, DOI 10.48550/ARXIV.2407.05208]
[7]  
Blanchette J., 2015, P 8 C INT COMP MATH, P3
[8]  
Blanchette JC, 2010, LECT NOTES COMPUT SC, V6172, P131, DOI 10.1007/978-3-642-14052-5_11
[9]  
Bobot F., 2014, Toccata: Certified programs and certified tools
[10]   Let's verify this with Why3 [J].
Bobot, Francois ;
Filliatre, Jean-Christophe ;
Marche, Claude ;
Paskevich, Andrei .
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (06) :709-727
123456