Search-o1:人大清华联合推出动态检索推理框架,使模型能够在推理过程中动态检索外部知识

简介: Search-o1 是中国人民大学和清华大学联合推出的创新框架,通过动态知识检索和精炼,提升大型推理模型在复杂任务中的推理能力。

❤️ 如果你也关注 AI 的发展现状,且对 AI 应用开发非常感兴趣,我会每日分享大模型与 AI 领域的最新开源项目和应用,提供运行实例和实用教程,帮助你快速上手AI技术,欢迎关注我哦!

🥦 微信公众号|搜一搜:蚝油菜花 🥦


🚀 快速阅读

  1. 功能特点:支持动态知识检索,填补推理过程中的知识空白,提升推理准确性。
  2. 技术原理:基于代理检索增强生成(RAG)机制和Reason-in-Documents模块,实现知识检索与推理的无缝集成。
  3. 应用场景:适用于科学研究、数学教育、编程开发、开放域问答等多个复杂推理任务。

正文(附运行示例)

Search-o1 是什么

Search-o1

Search-o1 是中国人民大学和清华大学联合推出的创新框架,旨在提升大型推理模型(LRMs)在复杂问题中的推理能力。该框架通过整合代理检索增强生成(RAG)机制和Reason-in-Documents模块,使模型能够在推理过程中动态检索外部知识,填补知识空白。

RAG 机制支持模型自主决定何时发起搜索查询,而Reason-in-Documents模块则负责精炼检索到的文档,提取对当前推理步骤有用的信息。这种设计确保了信息能够无缝集成到推理链中,保持推理的连贯性和逻辑性。Search-o1 在多个复杂推理任务和开放域问答基准测试中展现了卓越的性能,为构建更可靠、更通用的智能系统提供了新的途径。

Search-o1 的主要功能

  • 动态知识检索:在推理过程中,当模型遇到知识空白时,动态地检索外部知识,支持逐步推理。
  • 知识精炼:将检索到的文档精炼成简洁、相关的信息,确保信息无缝集成到推理链中,保持推理的连贯性。
  • 提高推理准确性:基于补充外部知识,减少因知识不足导致的推理错误,提高推理的准确性和可信度。
  • 多任务适用性:在科学、数学、编程等多个复杂推理任务及开放域问答任务中表现出色,展示了广泛的适用性。

Search-o1 的技术原理

  • 代理检索增强生成(RAG)机制
  • 自主检索:模型在推理过程中自主决定何时生成搜索查询,触发检索机制获取相关外部知识。
  • 动态迭代:检索机制在单个推理会话中多次触发,满足不同推理步骤的知识需求。
  • 特殊符号:搜索查询和检索结果被特殊符号包围,确保检索过程与推理链的无缝对接。
  • Reason-in-Documents模块
  • 文档分析:基于当前搜索查询、检索到的文档和之前的推理步骤,对文档进行深入分析。
  • 信息提取:从文档中提取与当前推理步骤直接相关的信息,确保信息的准确性和相关性。
  • 精炼输出:生成简洁、相关的信息,并将其无缝集成到推理链中,保持推理的连贯性和逻辑一致性。

如何运行 Search-o1

1. 环境配置

首先,确保你已经安装了 Python 3.9+ 和 Conda 环境。然后,按照以下步骤配置环境:

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

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

2. 数据准备

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

  • 复杂推理任务:如 GPQA、MATH500、AMC2023、AIME2024 等。
  • 开放域问答任务:如 NQ、TriviaQA、HotpotQA 等。

3. 模型推理

Search-o1 提供了多种推理模式,以下是运行示例:

  1. 直接推理模式

    python scripts/run_direct_gen.py \
     --dataset_name gpqa \
     --split diamond \
     --model_path "YOUR_MODEL_PATH"
    
  2. 朴素检索增强生成(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"
    
  3. 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"
    

4. 评估

推理脚本会自动保存模型的输入和输出文本以供评估。对于检索增强方法,如果模型未能提供最终答案,可以使用回退策略:

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

资源


❤️ 如果你也关注 AI 的发展现状,且对 AI 应用开发非常感兴趣,我会每日分享大模型与 AI 领域的最新开源项目和应用,提供运行实例和实用教程,帮助你快速上手AI技术,欢迎关注我哦!

🥦 微信公众号|搜一搜:蚝油菜花 🥦

相关文章
|
机器学习/深度学习 存储 人工智能
算法金 | 一个强大的算法模型,GP !!
高斯过程是一种非参数机器学习方法,利用高斯分布描述数据,并通过核函数衡量相似性。它在小样本和不确定性估计上有优势,常用于回归、分类和优化。高斯过程基于函数分布,通过核函数(如线性、RBF、多项式)捕捉数据关系。与传统方法相比,它在处理不确定性和非线性问题时更具灵活性。虽然计算复杂度高、内存需求大,但通过稀疏高斯过程等方法可改善。高斯过程还可扩展到非平稳和多任务场景。本文通过代码示例展示了高斯过程在战斗胜率预测中的应用。
719 11
算法金 | 一个强大的算法模型,GP !!
|
存储 容灾 关系型数据库
openStack高可用性和灾备方案
 1. 基础知识   1.1 高可用 (High Availability,简称 HA)   高可用性是指提供在本地系统单个组件故障情况下,能继续访问应用的能力,无论这个故障是业务流程、物理设施、IT软/硬件的故障。
2200 0
|
监控 Java Go
编译时插桩,Go应用监控的最佳选择
本文讲解了阿里云编译器团队和可观测团队为了实现Go应用监控选择编译时插桩的原因,同时还介绍了其他的监控方案以及它们的优缺点。
1270 113
|
消息中间件 小程序 Java
暹罗点餐开源啦,一款java多门店点餐系统-连锁门店如蜜雪冰城瑞幸咖啡
暹罗点餐是一款Java餐饮点餐系统,适用于多门店的连锁品牌,对标蜜雪冰城、瑞幸咖啡。系统包含用户端、商家端、配送端以及总管理后台; * 前端使用uni-app开发,可打包部署到微信小程序、APP、H5 * Web端使用vue + Element开发 * 服务端使用java语言开发,技术栈:Spring Boot + Redis + RocketMQ + WebSocket + ElasticSearch + ELK + SpringBoot Admin
1735 1
暹罗点餐开源啦,一款java多门店点餐系统-连锁门店如蜜雪冰城瑞幸咖啡
|
机器学习/深度学习 算法 TensorFlow
机器学习框架教程:介绍一些流行的机器学习框架(如Scikit-learn、XGBoost等)
机器学习框架教程:介绍一些流行的机器学习框架(如Scikit-learn、XGBoost等)
2233 0
|
Ubuntu 编译器
Ubuntu18.4下交叉编译X264和FFMPEG到ARM平台(aarch64-linux-gcc)
Ubuntu18.4下交叉编译X264和FFMPEG到ARM平台(aarch64-linux-gcc)
2494 0
|
3月前
|
数据采集 人工智能 安全
阿里巴巴 & 蚂蚁共建 LoongSuite GenAI 可观测语义规范:从统一数据语言到规模化落地
阿里巴巴与蚂蚁集团联合推出 LoongSuite GenAI 可观测语义规范,在 OpenTelemetry 标准之上,为 AI Agent、Skill、Token 级推理等场景建立统一数据语言。从链路追踪到引擎“显微镜”,本文揭秘如何让 GenAI 应用真正可看见、可分析、可治理。
488 28
|
分布式计算 安全 数据可视化
目标Zookeeper未授权访问(漏洞验证)
目标Zookeeper未授权访问(漏洞验证)
2272 0
目标Zookeeper未授权访问(漏洞验证)
|
弹性计算 异构计算
2024年阿里云GPU服务器多少钱1小时?亲测价格查询方法
2024年阿里云GPU服务器每小时收费因实例规格不同而异。可通过阿里云GPU服务器页面选择“按量付费”查看具体价格。例如,NVIDIA A100的gn7e实例为34.742元/小时,NVIDIA A10的gn7i实例为12.710156元/小时。更多详情请访问阿里云官网。
3833 2
cmake编译出错:No CMAKE_CXX_COMPILER could be found.
cmake编译出错:No CMAKE_CXX_COMPILER could be found.
1231 0

热门文章

最新文章