Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
本体引导的神经符号推理:通过数学领域知识 grounding 语言模型
机构 * Advanced Institute for Artificial Intelligence (AI2)(人工智能研究院)
专题命中 视觉定位与Grounding :grounding(title,abstract);分类 cs.AI、cs.LG
AI总结 本研究通过引入形式化数学本体,提升语言模型在数学推理任务中的可靠性,验证了神经符号方法在增强形式化 grounding 方面的潜力与挑战。
Comments Submitted to NeuS 2026. Supplementary materials and code: https://doi.org/10.5281/zenodo.18665030