搜索效率 LLM-DailyDigest 2026-08-16 2026-08-16 约 100 字 预计阅读 1 分钟 搜索效率 本主题由提交工具自动创建,可在此补充洞察与资料。 相关消息(按子主题自动聚合) 多教师蒸馏 1 Jev:从概率判断到搜索决策与多教师蒸馏 10-08 形式化证明 1 LeanGraphSearch:面向形式化定理证明的图搜索 10-18 形式化验证 1 LLM-Falsifier:用大语言模型寻找信息物理系统反例 09-18 搜索能力评测 1 TsuGO:以围棋死活题评测大模型推理搜索效率 08-16 检索停止 1 多轮 RAG 何时停止:Search-R1 的结构化停止判断 08-16 程序进化 1 LineageEvo:谱系感知的进化因子挖掘搜索控制 10-22 策略优化 2 超越重复采样:学习大模型推理搜索策略 09-23 学习式前沿选择的智能体逆生物合成框架 09-01 鲁棒性测试 1 TESTNAV:Pareto 引导的组合鲁棒性测试 08-22