8 citations · 9 across the 5 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025★ 1 cited
The Vampire Diary
Filip Bártek, Ahmed Bhayat, Robin Coutelier +10
During the past decade of continuous development, the theorem prover Vampire has become an automated solver for the combined theories of commonly-used data structures. Vampire now…
cs.AI2025
Efficient Neural Clause-Selection Reinforcement
Martin Suda
Clause selection is arguably the most important choice point in saturation-based theorem proving. Framing it as a reinforcement learning (RL) task is a way to challenge the human-d…