Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
This research introduces a neuro-symbolic pipeline embedding formal OpenMath ontologies into RAG systems to eliminate hallucinations in mathematical reasonin...