实体 LeanSearch v2

LeanSearch v2

PulseAugur coverage of LeanSearch v2 — every cluster mentioning LeanSearch v2 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 条

RESEARCH · CL_109468 · Jun 24 · 03:47

TheoremGraph 利用 AI 统一形式化与非形式化数学

研究人员开发了 TheoremGraph，一个旨在通过创建陈述级依赖图来统一形式化与非形式化数学知识的新系统。该系统解析 arXiv 论文中的数百万个类似定理的环境，提取候选依赖关系，并将其链接到形式化数学库。TheoremGraph 利用 LLM 匹配不同数学领域中相关的陈述，增强了数学推理的搜索和检索能力。