Search-o1

GitHub
1.2k 104 中等 1 次阅读 2天前MIT开发框架
AI 解读 由 AI 自动生成,仅供参考

Search-o1 是一款专为提升大型推理模型(LRM)能力而设计的开源框架,其核心理念是将“智能体搜索”与深度推理相结合。针对如 OpenAI o1 等现有模型在长链条推理过程中,常因内部知识储备不足而产生不确定性或事实性错误的问题,Search-o1 赋予了模型主动调用外部搜索工具的能力。它不再让模型仅依赖训练数据中的静态知识“闭门造车”,而是在遇到知识盲区时,像人类专家一样实时检索最新、最准确的外部信息,从而显著提高了复杂任务(如高难度数学解题或专业问答)的准确率与可靠性。

该项目特别适合人工智能研究人员、大模型开发者以及需要构建高可信度推理应用的技术团队使用。其独特的技术亮点在于"Agentic Search"(智能体搜索)机制,即模型能够自主判断何时需要搜索、如何构建查询以及如何将检索结果整合进推理步骤中,形成闭环的自我修正过程。作为一篇已被 EMNLP 2025 主会录用的研究成果,Search-o1 提供了完整的代码实现,旨在帮助社区突破纯参数化模型的知识边界,探索神经符号结合的新方向。

使用场景

某量化研究团队正在利用大语言模型自动解析复杂的金融衍生品定价公式,并基于最新的市场监管文件进行合规性验证。

没有 Search-o1 时

  • 模型仅依赖训练数据中的静态知识,面对 2024 年后发布的最新巴塞尔协议 III 最终版细节时,频繁出现“知识幻觉”,编造不存在的条款。
  • 在长链条推理过程中,一旦遇到不确定的参数定义,模型只能强行猜测,导致后续所有计算步骤基于错误前提,最终结果完全不可用。
  • 研究人员需要人工中断生成过程,手动搜索核实每一个存疑的法规点,再重新输入上下文,严重打断了自动化分析的流畅性。
  • 面对高难度的数学推导与实时政策结合的复杂问题,模型因缺乏外部信息支撑,往往直接拒绝回答或给出模糊的通用建议。

使用 Search-o1 后

  • Search-o1 能在推理遇到知识盲区时自主调用搜索引擎,实时获取最新的监管文件原文,确保引用的条款准确无误且时效性强。
  • 当推导过程卡顿时,Search-o1 会像人类专家一样暂停思考,主动检索缺失的参数定义或公式变体,修正推理路径后再继续执行,大幅降低逻辑断层率。
  • 整个“检索 - 推理 - 验证”过程完全自动化,模型能独立闭环完成从政策解读到数值计算的全流程,无需人工中途干预核实。
  • 即使面对极度冷门的跨境金融合规场景,Search-o1 也能通过多轮深度检索整合分散信息,输出逻辑严密且证据确凿的专业分析报告。

Search-o1 通过将实时搜索能力内化为推理本能,彻底解决了大模型在专业领域因知识滞后和不确定性导致的“胡编乱造”难题。

运行环境要求

操作系统
  • 未说明
GPU

未说明(需运行大型推理模型 LRM,通常建议配备高性能 NVIDIA GPU)

内存

未说明

依赖
notes1. 必须配置 Bing Search API 密钥 (--bing_subscription_key) 用于搜索。 2. 必须配置 Jina API 密钥 (--jina_api_key) 用于获取网页内容。 3. 需要自行准备预训练的大型推理模型路径 (--model_path)。 4. 建议使用 conda 创建名为 search_o1 的虚拟环境进行安装。
python3.9+
requirements.txt 中定义的依赖包(具体列表未在 README 中展示)
Search-o1 hero image

快速开始

🔍 Search-o1:代理式搜索增强型
大型推理模型

主页 论文 许可证 Python 3.9+ X(前Twitter)链接

如果您喜欢我们的项目,请在GitHub上为我们点亮一颗星⭐,以获取最新更新。

📣 最新消息

  • 2025年8月21日:🎉 Search-o1已被EMNLP 2025主会接收!
  • 2025年5月1日:🎉 我们全新的框架WebThinker现已发布,它赋予推理模型强大的深度研究能力。您可以通过Github仓库论文进行访问。
  • 2025年1月10日:关于Search-o1的简要介绍已在X知乎微信等平台上发布。
  • 2025年1月10日:Search-o1的论文已公开。您可以在arXivalphaXivHF-paper上查阅。
  • 2025年1月6日:Search-o1的主页已上线。您可以通过这里访问。
  • 2025年1月5日:Search-o1的代码已发布。现在您可以应用Search-o1来增强您的大型推理模型。

✏️ 待办事项

  • 添加Search-o1与不同骨干推理模型(如Sky-T1DeepSeek-R1)的实验结果。
  • 训练推理模型,使其更好地利用搜索工具。
  • 增加更多工具(如计算器、代码解释器等),以进一步提升推理模型的能力。

💡 概述

大型推理模型(LRMs)如OpenAI的o1,通过大规模强化学习展现了卓越的长步骤推理能力。尽管这些模型具有强大优势,但在长时间推理过程中,它们常常面临知识不足的问题,导致频繁的不确定性及潜在错误,如下图所示。

✨ 方法

为克服这些挑战,我们提出了Search-o1,该框架通过代理式检索增强生成(RAG)机制以及文档内推理模块,将检索到的文档深度分析并整合进推理链中。

  • 代理式搜索流程:将代理式搜索过程融入推理流程,使模型能够在遇到不确定信息时动态检索外部知识。
  • 文档内推理模块:无缝整合检索到的信息,减少噪声并保持推理链条的连贯性。

模型对比

✨ 推理过程

Search-o1采用批量生成机制,并穿插搜索过程。我们首先结合任务指令和输入问题初始化推理序列。同时为所有序列生成标记,检测搜索查询以批量检索相关文档。随后对这些文档进行精炼,并无缝地重新整合回推理链中,循环此过程直至所有序列完成并产生最终答案。

推理

这种方法提高了LRMs的可靠性和准确性,使其能够通过实时填补知识空白,更有效地处理复杂的推理任务。

🔧 安装

1. 环境搭建

# 创建conda环境
conda create -n search_o1 python=3.9
conda activate search_o1

# 安装依赖
cd Search-o1
pip install -r requirements.txt

🏃 快速入门

数据准备

使用data/data_pre_process.ipynb中提供的代码,将每个数据集预处理为我们的标准化JSON格式。我们使用的数据集分为两类:

  • 挑战性推理任务:
    • 博士级科学问答: GPQA
    • 数学基准测试: MATH500、AMC2023、AIME2024
    • 代码基准测试: LiveCodeBench
  • 开放领域问答任务:
    • 单跳问答: NQ、TriviaQA
    • 多跳问答: HotpotQA、2WikiMultihopQA、MuSiQue、Bamboogle

预处理数据集的步骤如下:

  1. 打开Jupyter笔记本data/data_pre_process.ipynb
  2. 对于每个数据集,运行相应的预处理单元格,将原始数据转换为统一的JSON格式。
  3. 处理后的数据集将保存在data/目录下。

如果您处理的任务不属于上述任何数据集,对于QA、数学或代码等生成任务,应将数据格式化为{'Question': str, 'answer': str}。对于选择题任务,则应格式化为{'Question': str, 'Correct Choice': str}。此外,还需修改scripts/evaluate.pyscripts/prompts.pyscripts/run_xxx_xxx.py以匹配您的任务。

模型推理

您可以使用提供的脚本运行不同的推理模式。以下是每种模式的执行示例:

  1. 直接推理(直接生成)
python scripts/run_direct_gen.py \
    --dataset_name gpqa \
    --split diamond \
    --model_path "YOUR_MODEL_PATH"
  1. 朴素检索增强生成(RAG)
python scripts/run_naive_rag.py \
    --dataset_name gpqa \
    --split diamond \
    --use_jina True \
    --model_path "YOUR_MODEL_PATH" \
    --jina_api_key "YOUR_JINA_API_KEY" \
    --bing_subscription_key "YOUR_BING_SUBSCRIPTION_KEY"
  1. 基于智能体搜索的RAG
python scripts/run_rag_agent.py \
    --dataset_name gpqa \
    --split diamond \
    --max_search_limit 5 \
    --max_url_fetch 5 \
    --max_turn 10 \
    --top_k 10 \
    --use_jina True \
    --model_path "YOUR_MODEL_PATH" \
    --jina_api_key "YOUR_JINA_API_KEY" \
    --bing_subscription_key "YOUR_BING_SUBSCRIPTION_KEY"
  1. Search-o1(我们的方法)
python scripts/run_search_o1.py \
    --dataset_name aime \
    --split test \
    --max_search_limit 5 \
    --max_turn 10 \
    --top_k 10 \
    --max_doc_len 3000 \
    --use_jina True \
    --model_path "YOUR_MODEL_PATH" \
    --jina_api_key "YOUR_JINA_API_KEY" \
    --bing_subscription_key "YOUR_BING_SUBSCRIPTION_KEY"

参数说明:

  • --dataset_name: 要使用的数据集名称(例如,gpqa、aime)。
  • --split: 要运行的数据划分(例如,train、test、diamond)。
  • --model_path: 预训练LRM模型的路径。
  • --bing_subscription_key: 您的必应搜索API订阅密钥。
  • --max_search_limit: 每次推理会话的最大搜索查询次数。
  • --max_url_fetch: 每次搜索最多获取的URL数量。
  • --max_turn: 最大推理轮数。
  • --top_k: 要检索的前k个文档。
  • --max_doc_len: 每个检索文档的最大长度。
  • --use_jina: 是否使用Jina进行文档处理。
  • --jina_api_key: 用于获取URL内容的Jina API订阅密钥。

请确保将 "YOUR_MODEL_PATH" 替换为您的实际模型路径,并将 "YOUR_BING_SUBSCRIPTION_KEY""YOUR_JINA_API_KEY" 替换为您自己的必应搜索和Jina API密钥。

评估

我们的模型推理脚本会自动保存模型的输入和输出文本以供评估。然而,对于包含检索的方法,由于模型并未经过训练以有效利用检索到的文本,因此通常无法给出最终答案。我们采用回退策略:当基于检索的方法未能为某个数据点提供最终答案时,就使用直接生成的结果。

要使用此回退策略,您需要在 scripts/evaluate.py 文件中提供直接生成结果的路径,然后使用以下命令获取基于检索方法的回退结果:

python scripts/evaluate.py \
    --output_path outputs/... \
    --apply_backoff

📄 引用

如果您觉得这项工作有所帮助,请引用我们的论文:

@article{Search-o1,
  author       = {Xiaoxi Li and
                  Guanting Dong and
                  Jiajie Jin and
                  Yuyao Zhang and
                  Yujia Zhou and
                  Yutao Zhu and
                  Peitian Zhang and
                  Zhicheng Dou},
  title        = {Search-o1: Agentic Search-Enhanced Large Reasoning Models},
  journal      = {CoRR},
  volume       = {abs/2501.05366},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2501.05366},
  doi          = {10.48550/ARXIV.2501.05366},
  eprinttype    = {arXiv},
  eprint       = {2501.05366},
  timestamp    = {Wed, 19 Feb 2025 21:19:08 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2501-05366.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

📄 许可证

本项目采用 MIT许可证 开放。

📞 联系方式

如有任何问题或反馈,请通过 xiaoxi_li@ruc.edu.cn 联系我们。

🌟 星标历史

星标历史图表

常见问题

相似工具推荐

stable-diffusion-webui

stable-diffusion-webui 是一个基于 Gradio 构建的网页版操作界面,旨在让用户能够轻松地在本地运行和使用强大的 Stable Diffusion 图像生成模型。它解决了原始模型依赖命令行、操作门槛高且功能分散的痛点,将复杂的 AI 绘图流程整合进一个直观易用的图形化平台。 无论是希望快速上手的普通创作者、需要精细控制画面细节的设计师,还是想要深入探索模型潜力的开发者与研究人员,都能从中获益。其核心亮点在于极高的功能丰富度:不仅支持文生图、图生图、局部重绘(Inpainting)和外绘(Outpainting)等基础模式,还独创了注意力机制调整、提示词矩阵、负向提示词以及“高清修复”等高级功能。此外,它内置了 GFPGAN 和 CodeFormer 等人脸修复工具,支持多种神经网络放大算法,并允许用户通过插件系统无限扩展能力。即使是显存有限的设备,stable-diffusion-webui 也提供了相应的优化选项,让高质量的 AI 艺术创作变得触手可及。

162.1k|★★★☆☆|今天
开发框架图像Agent

everything-claude-code

everything-claude-code 是一套专为 AI 编程助手(如 Claude Code、Codex、Cursor 等)打造的高性能优化系统。它不仅仅是一组配置文件,而是一个经过长期实战打磨的完整框架,旨在解决 AI 代理在实际开发中面临的效率低下、记忆丢失、安全隐患及缺乏持续学习能力等核心痛点。 通过引入技能模块化、直觉增强、记忆持久化机制以及内置的安全扫描功能,everything-claude-code 能显著提升 AI 在复杂任务中的表现,帮助开发者构建更稳定、更智能的生产级 AI 代理。其独特的“研究优先”开发理念和针对 Token 消耗的优化策略,使得模型响应更快、成本更低,同时有效防御潜在的攻击向量。 这套工具特别适合软件开发者、AI 研究人员以及希望深度定制 AI 工作流的技术团队使用。无论您是在构建大型代码库,还是需要 AI 协助进行安全审计与自动化测试,everything-claude-code 都能提供强大的底层支持。作为一个曾荣获 Anthropic 黑客大奖的开源项目,它融合了多语言支持与丰富的实战钩子(hooks),让 AI 真正成长为懂上

139k|★★☆☆☆|今天
开发框架Agent语言模型

ComfyUI

ComfyUI 是一款功能强大且高度模块化的视觉 AI 引擎,专为设计和执行复杂的 Stable Diffusion 图像生成流程而打造。它摒弃了传统的代码编写模式,采用直观的节点式流程图界面,让用户通过连接不同的功能模块即可构建个性化的生成管线。 这一设计巧妙解决了高级 AI 绘图工作流配置复杂、灵活性不足的痛点。用户无需具备编程背景,也能自由组合模型、调整参数并实时预览效果,轻松实现从基础文生图到多步骤高清修复等各类复杂任务。ComfyUI 拥有极佳的兼容性,不仅支持 Windows、macOS 和 Linux 全平台,还广泛适配 NVIDIA、AMD、Intel 及苹果 Silicon 等多种硬件架构,并率先支持 SDXL、Flux、SD3 等前沿模型。 无论是希望深入探索算法潜力的研究人员和开发者,还是追求极致创作自由度的设计师与资深 AI 绘画爱好者,ComfyUI 都能提供强大的支持。其独特的模块化架构允许社区不断扩展新功能,使其成为当前最灵活、生态最丰富的开源扩散模型工具之一,帮助用户将创意高效转化为现实。

107.7k|★★☆☆☆|2天前
开发框架图像Agent

NextChat

NextChat 是一款轻量且极速的 AI 助手,旨在为用户提供流畅、跨平台的大模型交互体验。它完美解决了用户在多设备间切换时难以保持对话连续性,以及面对众多 AI 模型不知如何统一管理的痛点。无论是日常办公、学习辅助还是创意激发,NextChat 都能让用户随时随地通过网页、iOS、Android、Windows、MacOS 或 Linux 端无缝接入智能服务。 这款工具非常适合普通用户、学生、职场人士以及需要私有化部署的企业团队使用。对于开发者而言,它也提供了便捷的自托管方案,支持一键部署到 Vercel 或 Zeabur 等平台。 NextChat 的核心亮点在于其广泛的模型兼容性,原生支持 Claude、DeepSeek、GPT-4 及 Gemini Pro 等主流大模型,让用户在一个界面即可自由切换不同 AI 能力。此外,它还率先支持 MCP(Model Context Protocol)协议,增强了上下文处理能力。针对企业用户,NextChat 提供专业版解决方案,具备品牌定制、细粒度权限控制、内部知识库整合及安全审计等功能,满足公司对数据隐私和个性化管理的高标准要求。

87.6k|★★☆☆☆|今天
开发框架语言模型

ML-For-Beginners

ML-For-Beginners 是由微软推出的一套系统化机器学习入门课程,旨在帮助零基础用户轻松掌握经典机器学习知识。这套课程将学习路径规划为 12 周,包含 26 节精炼课程和 52 道配套测验,内容涵盖从基础概念到实际应用的完整流程,有效解决了初学者面对庞大知识体系时无从下手、缺乏结构化指导的痛点。 无论是希望转型的开发者、需要补充算法背景的研究人员,还是对人工智能充满好奇的普通爱好者,都能从中受益。课程不仅提供了清晰的理论讲解,还强调动手实践,让用户在循序渐进中建立扎实的技能基础。其独特的亮点在于强大的多语言支持,通过自动化机制提供了包括简体中文在内的 50 多种语言版本,极大地降低了全球不同背景用户的学习门槛。此外,项目采用开源协作模式,社区活跃且内容持续更新,确保学习者能获取前沿且准确的技术资讯。如果你正寻找一条清晰、友好且专业的机器学习入门之路,ML-For-Beginners 将是理想的起点。

85k|★★☆☆☆|今天
图像数据工具视频

ragflow

RAGFlow 是一款领先的开源检索增强生成(RAG)引擎,旨在为大语言模型构建更精准、可靠的上下文层。它巧妙地将前沿的 RAG 技术与智能体(Agent)能力相结合,不仅支持从各类文档中高效提取知识,还能让模型基于这些知识进行逻辑推理和任务执行。 在大模型应用中,幻觉问题和知识滞后是常见痛点。RAGFlow 通过深度解析复杂文档结构(如表格、图表及混合排版),显著提升了信息检索的准确度,从而有效减少模型“胡编乱造”的现象,确保回答既有据可依又具备时效性。其内置的智能体机制更进一步,使系统不仅能回答问题,还能自主规划步骤解决复杂问题。 这款工具特别适合开发者、企业技术团队以及 AI 研究人员使用。无论是希望快速搭建私有知识库问答系统,还是致力于探索大模型在垂直领域落地的创新者,都能从中受益。RAGFlow 提供了可视化的工作流编排界面和灵活的 API 接口,既降低了非算法背景用户的上手门槛,也满足了专业开发者对系统深度定制的需求。作为基于 Apache 2.0 协议开源的项目,它正成为连接通用大模型与行业专有知识之间的重要桥梁。

77.1k|★★★☆☆|2天前
Agent图像开发框架