Ontology-Guided LLMs: Grounding Inference with OpenMath Knowledge
arxiv.org