TY  - RPRT
TI  - Teaching Vampire New Tricks: An Experimental Study of Neural Clause Selection
AU  - Karel Chvalovský
AU  - Martin Suda
AU  - Josef Urban
PY  - 2026
UR  - https://arxiv.org/abs/2609.16228
ID  - 2609.16228
ER  -