3 papers
cs.LO2026
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…
cs.LO2026
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…
cs.LO2025
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…