待验证50% 置信事实精确时间
LeanGraphSearch 的图排序算法可使用 Personalized PageRank、随机游走或带衰减的加权传播等方法，将语义匹配分数作为种子信号沿前向依赖边传播。
1
来源数
50%
置信度
长期有效
时效性
2026/10/16
首次发现
来源
涉及实体
相关事实
待验证LeanGraphSearch 是一种针对 Lean 4 形式化定理证明的图检索方法，通过构建来自 Mathlib 前向依赖的图，先做语义匹配定位锚点，再用图排序算法沿依赖边传播相关性，最后重排候选集。75% 相似待验证GraphRAG Blueprint提供局部模式和全局模式两种检索模式，局部模式针对事实层面精确问答，全局模式面向跨文档综合归纳65% 相似待验证知识图谱的图结构天然支持图遍历算法，使得「找到所有调用了函数A的地方」这类查询可以在毫秒级完成65% 相似已验证向量数据库的核心操作是近似最近邻搜索（ANN），通过HNSW、IVF等索引算法将相似度计算加速到毫秒级响应62% 相似待验证B-tree索引在关系型数据库中广泛使用，因为它们支持等值比较、范围条件和有序检索，适用于标识符、时间戳、频繁过滤的列以及许多外键查找。62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1042037API
curl https://kongchang.com/api/v1/knowledge/claims/1042037MCP
get_claim(id=1042037)