实体 OpenMath

OpenMath

PulseAugur coverage of OpenMath — every cluster mentioning OpenMath across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_231469 · Sep 2 · 04:00

神经符号AI旨在用数学知识为LLM奠定基础

一篇新的研究论文探讨了如何利用形式化的领域本体为大型语言模型奠定基础，并以数学为例。该研究实现了一个神经符号管道，通过检索增强生成将来自OpenMath本体的相关定义注入模型提示中。在MATH基准上的评估表明，虽然本体驱动的上下文可以提高高质量检索的性能，但无关的上下文会显著降低结果，这突显了该方法的复杂性。