TY  - RPRT
TI  - The Vampire Diary
AU  - Filip Bártek
AU  - Ahmed Bhayat
AU  - Robin Coutelier
AU  - Márton Hajdu
AU  - Matthias Hetzenberger
AU  - Petra Hozzová
AU  - Laura Kovács
AU  - Jakob Rath
AU  - Michael Rawson
AU  - Giles Reger
AU  - Martin Suda
AU  - Johannes Schoisswohl
AU  - Andrei Voronkov
PY  - 2025
UR  - https://arxiv.org/abs/2506.03030
ID  - 2506.03030
ER  -