待验证50% 置信事实精确时间
LLM-IRA 主动挑选多个检索器打分分歧最大的文档对，让 LLM 给出偏好判断，再据此学习各检索器的融合权重。
1
来源数
50%
置信度
长期有效
时效性
2026/10/30
首次发现
来源
涉及实体
相关事实
待验证LLM 与形式化证明系统结合主要有生成式（Generative）和搜索引导式（Search-Guided）两种范式65% 相似待验证多查询检索使用LLM针对同一问题自动生成3-5个语义等价但表述各异的变体查询，分别检索后取并集以提升召回率61% 相似待验证该DFS方法通过multi-select多选弹窗让用户勾选，选中的分支保留、未选的直接裁剪掉60% 相似待验证多路召回指同时使用多种检索策略（如向量检索、BM25关键字检索、知识图谱检索等）分别召回候选集，再合并去重后统一重排，以弥补单一检索方式的盲区。60% 相似待验证Plan-then-Retrieve（PtR）范式让 LLM 先基于用户意图生成若干抽象工具桩（Abstract Tool Stubs）作为检索查询，再据此匹配注册表中的真实工具。60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1114243API
curl https://kongchang.com/api/v1/knowledge/claims/1114243MCP
get_claim(id=1114243)