实体
TheoremGraph
TheoremGraph
PulseAugur coverage of TheoremGraph — every cluster mentioning TheoremGraph across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
TheoremGraph 利用 AI 统一形式化与非形式化数学
研究人员开发了 TheoremGraph，一个旨在通过创建陈述级依赖图来统一形式化与非形式化数学知识的新系统。该系统解析 arXiv 论文中的数百万个类似定理的环境，提取候选依赖关系，并将其链接到形式化数学库。TheoremGraph 利用 LLM 匹配不同数学领域中相关的陈述，增强了数学推理的搜索和检索能力。
-
TheoremGraph 通过依赖图连接形式与非形式数学
研究人员开发了 TheoremGraph，一个连接非形式与形式数学的统一依赖图。该系统从 arXiv 论文和 Lean 项目中提取和链接数学陈述，创建了一个全面的知识库。TheoremGraph 使用语义嵌入和 LLM 裁判来识别不同数学领域的关联，旨在改善数学中的搜索、归属和推理。