Lean on Vampire Proofs (Short Paper). - Jonas Bodingbauer; Márton Hajdú; Laura Kovács; Axel Polaczek; Michael Rawson 001 (CoRR, 2026)