8 citations · 9 across the 4 of their papers we have counts for
4 papers · 1 filter
Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)
Alistair Sirman, Fleur Conway, Jessica Ciupa +7
Neural network controllers for autonomous decision-making are well-established in cyber-physical systems, yet their deployment in safety-critical healthcare settings remains largel…
Lean on Vampire Proofs (Short Paper)
Jonas Bodingbauer, Márton Hajdu, Laura Kovács +2
Vampire proves theorems completely automatically in first- and higher-order logic extended with theories. Proof checking is increasingly demanded to consolidate user trust in Vampi…
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…
Superposition with Delayed Unification
Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move unification to the calculus level, turning the steps of…