8 citations · 9 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
A Higher-Order Vampire (Short Paper)
Ahmed Bhayat, Martin Suda
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…
cs.AI2024★ 8 cited
Regularization in Spider-Style Strategy Discovery and Schedule Construction
Filip Bártek, Karel Chvalovský, Martin Suda
To achieve the best performance, automatic theorem provers often rely on schedules of diverse proving strategies to be tried out (either sequentially or in parallel) on a given pro…