@misc{indiciaecd63aa37c12e,
  title = {When Does Structured Knowledge Help Neural Theorem Proving?},
  author = {Sareh Nabi and Roland Vogl and Marzieh Nabi},
  year = {2026},
  url = {https://arxiv.org/abs/2609.34460},
  note = {Source identifier: 2609.34460}
}