Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge Paper โข 2602.17826 โข Published Feb 19