A Higher-Order Vampire (Short Paper)

被引：0
|
作者：
Bhayat, Ahmed [1 ]
Suda, Martin [1 ]
机构：
[1] Czech Tech Univ, Prague, Czech Republic
来源：
AUTOMATED REASONING, IJCAR 2024, PT I | 2024年 / 14739卷
基金：
欧盟地平线“2020”;
关键词：
Vampire; Higher-Order; Strategy Scheduling;
D O I：
10.1007/978-3-031-63498-7_5
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The support for higher-order reasoning in the Vampire theorem prover has recently been completely reworked. This rework consists of new theoretical ideas, a new implementation, and a dedicated strategy schedule. The theoretical ideas are still under development, so we discuss them at a high level in this paper. We also describe the implementation of the calculus in the Vampire theorem prover, the strategy schedule construction and several empirical performance statistics.
引用
收藏
页码：75 / 85
页数：11
相关论文
共 50 条
12345