待验证50% 置信事实精确时间
LeanGraphSearch 使用前向依赖图（边从声明指向其引用的前提），传播方向沿证明中从目标到子目标的拆解方向一致，以便覆盖完整证明路径上的中间引理。
1
来源数
50%
置信度
长期有效
时效性
2026/10/16
首次发现
来源
涉及实体
相关事实
待验证GraphRAG范式先用向量检索定位候选实体节点，再通过图遍历沿关系链条扩展上下文，形成语义召回加结构推理的两阶段管道69% 相似待验证SlideRuler先用配对的重复扫描学习一个迁移映射（transfer map），推理阶段只需对单张扫描进行校准，整个过程保持基础模型参数不变66% 相似待验证条件路由是LangGraph中通过add_conditional_edges方法实现的边类型，根据路由函数返回值动态决定下一步走向65% 相似待验证LLM 与 Lean 结合的典型流程是模型生成候选证明策略，Lean 即时反馈该策略是否使目标状态合法推进，实现生成-验证循环64% 相似待验证AnchorDLM 中锚点机制可能通过为推理过程提供结构化中间提示，帮助模型更早锁定正确推理路径。64% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1042033API
curl https://kongchang.com/api/v1/knowledge/claims/1042033MCP
get_claim(id=1042033)