Nabi, S., Vogl, R., & Nabi, M. (2026). When Does Structured Knowledge Help Neural Theorem Proving? https://omanscience.com/ar/articles/when-does-structured-knowledge-help-neural-theorem-proving