待验证50% 置信解决方案精确时间
Plan-then-Retrieve（PtR）范式让 LLM 先基于用户意图生成若干抽象工具桩（Abstract Tool Stubs）作为检索查询，再据此匹配注册表中的真实工具。
1
来源数
50%
置信度
长期有效
时效性
2026/10/15
首次发现
来源
涉及实体
相关事实
待验证在 LLM 应用中，一次用户提问通常对应一条 Trace，内部的模型调用、向量检索、工具执行各自是一个子 Span。72% 相似待验证LLM 与形式化证明系统结合主要有生成式（Generative）和搜索引导式（Search-Guided）两种范式67% 相似待验证工具检索(Tool Retrieval)通过向量检索先筛选出最相关的3-5个工具再提供给模型66% 相似待验证多查询检索使用LLM针对同一问题自动生成3-5个语义等价但表述各异的变体查询，分别检索后取并集以提升召回率63% 相似待验证重排序使用Cross-Encoder模型对初步检索召回的候选文档逐对打分，精排出Top-K送入LLM63% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1040080API
curl https://kongchang.com/api/v1/knowledge/claims/1040080MCP
get_claim(id=1040080)