概念Multi-hop Dependency
多跳依赖
知识库中从某一节点出发经过多条依赖边才能到达的间接前提关系，常用于图检索中的相关性传播
时间轴 (近 90 天)
10月16日
传统语义检索通常只对目标定理与候选声明做单轮相似度排序，忽略声明之间的多跳依赖关系，因此容易漏掉位于依赖链深处但与证明高度相关的支持性引理。
待验证50%
知识库中从某一节点出发经过多条依赖边才能到达的间接前提关系，常用于图检索中的相关性传播
传统语义检索通常只对目标定理与候选声明做单轮相似度排序，忽略声明之间的多跳依赖关系，因此容易漏掉位于依赖链深处但与证明高度相关的支持性引理。