ConceptMulti-hop Dependency
Multi-hop Dependency
An indirect premise relationship in a knowledge base that can only be reached from a given node by traversing several dependency edges, commonly used for relevance propagation in graph retrieval.
Timeline (last 90 days)
Oct 16
Traditional semantic retrieval usually only performs a single round of similarity ranking between the target theorem and candidate declarations, ignoring the multi-hop dependency relations among declarations, and therefore easily misses supporting lemmas that lie deep in the dependency chain but are highly relevant to the proof.
Unverified50%