TheoremGraph: Bridging Formal and Informal Mathematics
TheoremGraph：桥接形式化与非形式化数学
🧭 数学知识图谱 · 形式化-非形式化链接
University of Washington Math AI Lab
构建统一语句级依赖图，连接非形式化数学文献与形式化库，发布提取工具与匹配数据集。
📌 工作参考价值（4 点）
- 多源抽取与置信度标记策略：从非结构化文本（如商品描述、用户评论）提取实体关系时，可同时记录提取器来源，让下游按需权衡精度与覆盖率，适用于商品知识图谱构建。
- 跨域实体对齐的轻量方案：将不同平台/模态的实体用生成式自然语言简短描述（slogan）映射到共享嵌入空间，通过余弦门控+LLM裁决筛选高置信度匹配，可用于跨电商站点的商品对齐或冷启动语义链接。
- 图扩展（graph expansion）增强检索：在召回/排序阶段，利用知识图谱的一阶邻居扩展实体表征，不依赖昂贵重排模型即可接近有监督重排效果，适合低延迟推荐场景。
- 工程化 MCP 接口与 API 设计：论文发布的 extractor、HTTP API、MCP 接口为构建内部可检索知识图谱工具链提供了可复用的架构参考。