待验证50% 置信事实精确时间

LeanGraphSearch 在端到端评估中准确率与成本的效率比更优，表明通过率提升不只是来自更多轮次或更大计算量，部分收益来自检索质量本身。

1

来源数

50%

置信度

长期有效

时效性

2026/10/16

首次发现

来源

LeanGraphSearch：依赖图搜索提升定理证明检索与通过率

涉及实体

LeanGraphSearchconcept

相关事实

待验证在 {8, 16, 32} 个反射轮次下进行端到端评估，LeanGraphSearch 相比普通证明器通过率最高提升 40%，相比 LeanSearch v2 最多提升 10%。77% 相似待验证对多数应用场景而言，提示词优化的性价比高于模型微调71% 相似待验证要让生成结果好看，对抗损失往往比像素损失更有效，前者鼓励看起来对，后者只追求数值上接近67% 相似待验证端到端任务完成率很可能成为比跑分更有实际参考价值的模型评估指标67% 相似待验证在多跳推理任务上 GraphRAG 的准确率比传统 RAG 高出 40% 以上，但索引构建时间增加 3-5 倍66% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1042039

API

curl https://kongchang.com/api/v1/knowledge/claims/1042039

MCP

get_claim(id=1042039)