A Higher-Order Vampire (Short Paper)
<|reference_start|>A Higher-Order Vampire (Short Paper): 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.<|reference_end|>
@article{bhayat2024a,
    title={A Higher-Order Vampire (Short Paper)},
    author={Ahmed Bhayat and Martin Suda},
    journal={arXiv preprint arXiv:2407.05208},
    year={2024},
    archivePrefix={arXiv},
    eprint={2407.05208},
    primaryClass={cs.LO}
}