@misc{indiciaeb5793a2abfac,
  title = {Teaching Vampire New Tricks: An Experimental Study of Neural Clause Selection},
  author = {Karel Chvalovský and Martin Suda and Josef Urban},
  year = {2026},
  url = {https://arxiv.org/abs/2609.16228},
  note = {Source identifier: 2609.16228}
}