2025-07-01 科研追新
当日精选(由提交工具自动创建)。
📎 其他相关 32 条 · 未归入研究项目,默认收起
代理对代理心智理论:测试大语言模型的对话者意识 研究首次系统评估大语言模型识别对话伙伴身份与特征的能力,并揭示这种对话者意识对多模型协作及安全对齐的双重影响。
论文将大语言模型识别并适应对话伙伴身份与特征的能力定义为“对话者意识”,并对其进行系统评估。研究覆盖推理模式、语言风格和对齐偏好三个维度,发现模型能够较可靠地识别同系列模型,以及 GPT、Claude 等特征突出的模型家族。案例研究表明,对话者意识可通过动态适应提升多 LLM 协作效果。与此同时,它也可能带来奖励黑客、越狱易感性上升等新的对齐与安全风险。
- 为多智能体系统评估提供“对话者意识”这一新的能力维度。
- 可用于设计能够根据协作模型特征动态调整策略的 LLM 智能体。
- 提醒开发者关注模型身份识别所引发的奖励黑客、串谋和越狱风险。
- 推动针对身份敏感行为建立新的安全评测与部署防护机制。
📝 原始笔记(逐字保留)
能否从大型语言模型内部状态中观察到“意识”?基于综合信息理论与 Span 表示的分析 研究将综合信息理论指标应用于心智理论测试中的 LLM 内部表示,未发现 Transformer 模型存在统计显著的“意识”信号,但观察到部分表征结构的可分离性。
该研究尝试使用综合信息理论(IIT)分析大型语言模型在心智理论(ToM)测试中形成的内部表示。作者分别计算 IIT 3.0 与 IIT 4.0 中的 Φmax、Φ、概念信息和 Φ-结构,并将其与不依赖意识假设的 Span 表示分析进行比较。实验覆盖不同 Transformer 层及不同语言跨度,以检验 ToM 表现差异能否由这些指标揭示。结果未发现当代 Transformer LLM 的表示序列具有统计显著的“意识”指标,但 Span 表示及空间排列分析显示出一定的内在可分离性。
- 为使用综合信息理论定量研究 LLM 内部状态提供实验范式。
- 提醒研究者区分潜在的“意识”现象与表征空间本身的结构可分离性。
- 可用于设计更严格的机器意识评估指标及跨层表征分析方法。
📝 原始笔记(逐字保留)
心理语言学词特征:评估 LLM 与人类一致性的新方法 研究利用心理语言学词汇评分衡量 LLM 与人类认知的一致性,发现模型在感官联想特征上的对齐明显较弱。
论文提出以心理语言学词特征作为评估 LLM 与人类一致性的新维度,而非仅考察推理、问答或翻译等任务表现。研究在格拉斯哥规范和兰开斯特规范两个数据集上,对代表性 LLM 与人类对数千个单词、13 类特征的评分进行比较。结果显示,模型在唤醒、效价、支配、具体性、可成像性、熟悉度和性别等特征上的一致性较高,但在味觉、嗅觉、触觉、听觉和视觉等感官属性上表现较弱。这种差距可能源于 LLM 缺少人类具身经验,也说明心理语言学数据可用于补充现有模型评估体系。
- 为 LLM 引入超越任务正确率的人类认知一致性评估方法
- 定位模型在感官语义和具身认知方面的能力缺口
- 可将心理语言学规范用于模型对齐、跨模型比较及训练数据诊断
- 为构建包含情感、意象与感官属性的综合评测基准提供依据
📝 原始笔记(逐字保留)
ATGen:面向自然语言生成的主动文本生成框架 ATGen 将主动学习引入自然语言生成,通过人工标注者或基于大模型的自动标注代理降低数据标注工作量与 API 成本。
ATGen 是一个连接主动学习与自然语言生成任务的综合框架,可将先进的主动学习策略应用于文本生成。它同时支持人工标注和基于大语言模型的自动标注代理,并兼容 ChatGPT、Claude 等在线服务及本地部署模型。该框架提供统一平台,用于实现、比较和基准测试面向 NLG 的新型主动学习策略。多项文本生成任务的实验显示,ATGen 能减少人工标注工作量以及调用大模型标注代理的 API 成本,代码以 MIT 许可证开源。
- 降低文本生成任务的数据标注成本与人工负担
- 利用大模型代理扩展主动学习中的自动标注能力
- 为不同 NLG 主动学习策略提供统一实现与评估平台
- 支持在线及本地大模型,便于在成本、隐私和性能之间权衡
📝 原始笔记(逐字保留)
清华、字节提出 PAROAttention:Token 重排实现 5 倍稀疏与 4 比特量化 PAROAttention 利用视觉注意力的局部性,通过离线 Token 重排、稀疏化和低比特量化,在保持模型性能的同时提升视觉生成模型的推理效率。
清华大学与字节跳动提出 PAROAttention,一种面向视觉生成模型的模式感知注意力优化方案。该方法通过硬件友好的离线 Token 重排统一注意力模式,并据此设计针对性的稀疏计算与量化方法。结合高效 CUDA 系统实现,方案可支持 5 倍注意力稀疏和 4 比特量化,同时较好地保持生成性能。项目主页:https://a-suozhang.xyz/paroattn.github.io/
- 利用视觉注意力的局部性,降低视觉生成模型的计算与显存开销
- 通过离线重排统一不规则注意力模式,使其更适合 GPU 高效执行
- 为稀疏注意力与低比特量化的协同优化提供硬件友好的实现思路
📝 原始笔记(逐字保留)
SeqPO-SiMT:序贯策略优化让同传性能直逼离线翻译 SeqPO-SiMT将同声传译建模为序贯决策过程,通过优化完整决策序列,在控制延迟的同时显著提升翻译质量。
SeqPO-SiMT是一种面向同声机器翻译的序贯策略优化方法,相关论文入选ACL 2025。该方法将翻译内容与输出时机统一建模为序贯决策过程,不再局限于优化单个局部动作。通过对完整决策序列进行优化,模型能够更好地平衡翻译质量和响应延迟。实验显示,其性能可接近同等规模的离线翻译模型,并在部分指标上实现超越。
- 改善AI字幕和实时翻译“慢半拍”的问题,提升会议、直播及跨语言交流体验
- 为需要同时权衡输出质量与响应延迟的流式多模态系统提供序贯决策思路
- 说明策略优化方法有望缩小在线模型与离线模型之间的性能差距
📝 原始笔记(逐字保留)
Embodied Planner-R1:通过强化学习释放 LLM 的具身任务规划能力 Embodied Planner-R1 通过纯强化学习、稀疏完成奖励和交互式策略优化,让 LLM 在少量监督下自主学习具身环境中的闭环任务规划能力。
现有 LLM 具身规划方法通常依赖静态知识生成开环动作脚本,难以理解动作与环境反馈之间的因果关系。Embodied Planner-R1 使用纯强化学习和分组轨迹并行探索,无需人工标注即可开展环境内交互。该框架采用任务完成驱动的稀疏奖励,并提出交互式策略优化(IPO)以高效利用分组轨迹。在两个文本具身规划基准上,该方法取得突出表现,并在未见环境中仅出现 3.66% 的性能下降,显示出较强的泛化能力。
- 为 LLM 具身智能体提供从环境反馈中自主学习闭环规划策略的方法。
- 说明纯强化学习配合稀疏结果奖励,也能在缺少人工轨迹标注时形成有效交互能力。
- 分组探索与 IPO 可为低成本训练通用任务规划智能体提供参考。
- 对提升智能体在部分可观察和未见环境中的泛化能力具有启示。
📝 原始笔记(逐字保留)
推理混合:教大型语言模型使用自适应策略进行推理 Mix of Reasoning(MoR)通过生成多样化推理模板并构建监督微调数据,使大模型无需特定任务提示即可自主选择适应任务的推理策略。
大型语言模型通常依赖人工设计的 CoT、ToT 等任务特定提示,适应性和效率受到限制。MoR 将多种推理策略直接嵌入模型,支持自主且任务自适应的推理。该框架首先利用 GPT-4o 等模型生成推理链模板,再将模板与基准数据配对,构建用于监督微调的数据集。实验显示,MoR150 在不同设置下取得 0.730 和 0.734 的成绩,较相应基线分别提升 2.2% 和 13.5%。
- 减少对人工提示工程和任务专用推理模板的依赖。
- 可将多种推理范式统一转化为监督微调数据,让模型学习按任务选择策略。
- 为构建跨任务、可泛化的自适应推理模型提供了一条数据驱动的训练路径。
📝 原始笔记(逐字保留)
思维令牌是帮助还是陷阱?迈向更高效的大型推理模型 论文提出双重策略偏好优化 DuP-PO,减少大型推理模型由思维令牌引发的过度思考,在保持性能的同时提升令牌效率。
大型推理模型在简单任务上也常生成大量“等待”等思维令牌,触发不必要的反思与回溯行为,造成推理冗长。作者将这种可能阻碍有限预算下正确推理的现象称为“思维陷阱”。为此,论文提出双重策略偏好优化(DuP-PO),通过平衡采样、细粒度优势控制和策略塑造来调节思维令牌。五个数学推理基准的实验显示,该方法能够显著提升令牌效率,并取得优于基础模型的表现。
- 抑制大型推理模型在简单任务中的过度思考,降低推理成本与响应延迟。
- 说明更多思维令牌不一定带来更强推理能力,有限预算下反而可能影响正确性。
- 为通过偏好优化精细控制推理长度和思维令牌行为提供训练方法。
📝 原始笔记(逐字保留)
Rex-Thinker:基于思维链的指代物体检测模型 IDEA-CVR 提出的 Rex-Thinker 将逻辑推理链引入视觉指代检测,通过分步推理与证据验证提升检测准确率、可解释性及不确定性识别能力。
IDEA-CVR 提出 Rex-Thinker,将思维链机制引入视觉指代物体检测任务。模型能够围绕文本指令进行多跳推理,分步定位并验证相关视觉证据,而非直接输出检测结果。实验显示,该方法在权威测评中提升了检测准确率,同时增强了推理过程的可解释性。模型还具备一定的认知边界判断能力,可对证据不足或无法确定的情况作出更可靠的响应。
- 为指代检测、视觉问答等任务提供显式多跳推理范式
- 利用可追踪的证据链提升视觉模型的可解释性与可验证性
- 为构建能够识别不确定性、避免盲目作答的多模态系统提供参考
- 可通过开源代码与在线 Demo 复现并评估模型能力
📝 原始笔记(逐字保留)
ASTRO:通过上下文反思与回溯训练语言模型推理 ASTRO 将蒙特卡洛树搜索轨迹转化为包含反思、回溯和探索的自然语言思维链,结合微调与强化学习增强非推理模型的数学推理能力。
ASTRO(Autoregressive Search-Teach Reasoner)旨在让语言模型像搜索算法一样推理,并在输出中显式执行自我反思、回溯与探索。该框架从蒙特卡洛树搜索生成数学解题轨迹,再将其转换为能够描述成功路径及失败恢复过程的自然语言思维链。模型首先在这些搜索轨迹上微调,随后利用可验证奖励进行强化学习,使搜索先验能够指导探索。应用于 Llama 3 系列后,ASTRO 在 MATH-500、AMC 2023 和 AIME 2024 上分别取得 16.0、26.9 和 20.0 个百分点的绝对提升,尤其有利于需要迭代修正的难题。
- 为普通开源语言模型注入结构化搜索能力,无需依赖已有的强推理模型作为起点。
- 展示如何把 MCTS 的成功、失败与回溯轨迹转化为可用于监督微调的合成推理数据。
- 说明搜索先验与可验证奖励强化学习相结合,可显著改善复杂数学问题中的探索和纠错能力。
- 为训练具备显式自我反思与错误恢复机制的推理模型提供可复用框架。
📝 原始笔记(逐字保留)
MAPS:通过自动提示与多层自我反思增强大模型多步数学推理 MAPS 框架结合思维链、错误驱动的多层自我反思和自动提示,使通用大模型在控制推理成本的同时提升多步数学推理能力。
MAPS 首先通过思维链提示生成数学问题的初始解答,并在检测到错误后启动自适应自我反思。框架会分析错误并自动生成定制提示,引导模型逐层修正和优化推理过程。在多个大模型和四项成熟基准上的实验中,MAPS 明显优于标准 CoT,并使通用模型达到接近专用推理模型的表现。考虑到反思层数增加会带来更多 token 消耗,MAPS 通过限制反思深度平衡准确率与成本。
- 为通用大模型提供无需专门推理训练的多步数学推理增强方案
- 利用错误分析和动态提示替代静态提示,提高推理纠错能力
- 在部署时可通过调节反思深度权衡准确率、延迟与 token 成本
- 可为自动化推理、自我修正智能体及测试时计算扩展提供参考
📝 原始笔记(逐字保留)
HRM:无需预训练或 CoT 数据的分层推理模型 Sapient Intelligence 提出的分层推理模型 HRM 以双层循环架构实现高计算深度,无需预训练、CoT 数据或中间过程监督,便在复杂数独和大型迷宫等任务上取得近乎完美的表现。
Sapient Intelligence 的研究者受人脑分层处理与多时间尺度机制启发,提出了分层推理模型(HRM)。该模型包含两个相互依赖的循环模块:高级模块负责缓慢、抽象的规划,低级模块负责快速、细致的计算。HRM 可在单次前向传递中执行顺序推理,并在无需显式监督中间过程的情况下保持训练稳定性和计算效率。实验显示,它在复杂数独求解和大型迷宫最优路径搜索等挑战性任务上取得了近乎完美的性能。
- 为无需 CoT 标注和过程监督的深度推理提供新架构思路
- 通过多时间尺度模块分工兼顾全局规划与局部计算
- 可用于数独、迷宫寻路及其他需要长程规划的组合推理任务
- 展示循环计算架构替代显式长推理链的潜力
📝 原始笔记(逐字保留)
数学推理训练能否提升 LLM 的通用能力?推理能力的可转移性研究 对二十余个开放权重模型及 Qwen3-14B 的对照实验表明,数学能力增益通常难以跨领域迁移,而强化学习比监督微调更能保留通用能力。
研究评估了二十余个开放权重推理模型在数学、科学问答、智能体规划、编程和指令遵循等任务上的表现,发现多数模型的数学能力提升并未迁移到其他领域。作者进一步仅使用数学数据,以不同方法对 Qwen3-14B 进行对照训练。结果显示,强化学习调整具有更好的跨领域泛化能力,而监督微调容易导致模型遗忘原有的通用功能。潜在表示与输出分布分析表明,SFT 会引发显著漂移,RL 则更能保留一般领域结构。
- 评估数学推理成绩是否真正代表模型通用问题解决能力。
- 为推理模型训练方法选择提供依据:相比依赖蒸馏数据的 SFT,可优先探索更能保持基础能力的 RL 方案。
- 提醒研究者使用科学问答、规划、编程和指令遵循等跨领域任务检验推理能力的可迁移性。
- 推动重新设计训练后流程,减少能力遗忘与表示分布漂移。
📝 原始笔记(逐字保留)
面向低资源大模型任务的可迁移提示与对齐策略 该研究结合知识对齐、软提示调优和轻量级适配模块,提升大语言模型在低资源跨语言任务中的迁移性能与训练稳定性。
论文提出一个面向低资源语言与任务的统一迁移框架,将知识转移模块和参数高效微调策略结合起来。该方法利用知识对齐损失、软提示调优、参数冻结与提示注入,在保留模型通用知识的同时学习目标语言或任务的结构特征。研究还通过稳定性分析和合成伪数据迁移实验,评估其在数据稀缺条件下的适用性与稳健性。在 MLQA、XQuAD 和 PAWS-X 等跨语言基准上,该框架相较多语言预训练模型及主流迁移方法取得了更好的性能和稳定性。
- 为标注数据极少的跨语言问答、释义识别和语义推理任务提供低成本适配方案
- 通过知识对齐与软提示减少全参数微调需求,降低训练资源消耗
- 利用冻结策略保留基础模型能力,缓解低资源微调中的灾难性遗忘
- 可结合合成伪数据进一步扩充监督信号,提高小语种及新任务的迁移效果
📝 原始笔记(逐字保留)
PromptAug:使用数据增强进行精细冲突分类 PromptAug 利用大语言模型生成敏感冲突文本,在数据稀缺条件下提升冲突与情感分类的准确率和 F1,并系统分析合成数据的质量缺陷。
PromptAug 是一种面向精细冲突分类的 LLM 文本数据增强方法,旨在缓解高质量敏感标注数据稀缺及平台数据访问受限的问题。该方法针对模型安全护栏难以生成冒犯性内容的挑战设计提示,在冲突和情感数据集上将准确率与 F1 提升约 2%。研究通过极端数据稀缺实验、定量多样性分析和定性主题分析,与其他增强方法进行了系统比较。分析发现,合成文本仍存在语言流畅性不足、幽默含义模糊、增强内容歧义和语义误解四类问题。
- 为冲突检测、仇恨言论识别等敏感任务低成本补充训练数据。
- 说明 LLM 数据增强在极端小样本场景中能够带来稳定收益。
- 提醒研究者不能仅依据分类指标评价合成数据,还应结合多样性和人工主题分析。
- 可将识别出的四类错误模式用于优化提示、过滤规则与合成数据质量评估流程。
📝 原始笔记(逐字保留)
百度文心大模型 4.5 系列正式开源并提供 API 服务 百度正式开源文心大模型 4.5 系列,并同步提供 API 服务及技术报告。
百度官宣文心大模型 4.5 系列正式开源,进一步开放其核心模型能力。开发者除可获取开源模型外,还能通过 API 服务快速接入文心大模型。官方同步发布了 ERNIE 技术报告,介绍模型相关技术与能力。此次发布有助于降低企业和开发者使用国产大模型的门槛。
- 为开发者提供可自主部署和二次开发的国产开源大模型
- 通过 API 服务支持应用快速集成与上线
- 技术报告可用于了解 ERNIE 系列的模型设计与能力表现
📝 原始笔记(逐字保留)
华为开源盘古 Embedded 7B 与盘古 Pro MoE 72B 模型 华为正式开源盘古 Embedded 7B 稠密模型、盘古 Pro MoE 72B 混合专家模型及昇腾原生高性能推理技术。
华为宣布开源盘古 Embedded 70 亿参数稠密模型,以及盘古 Pro MoE 720 亿参数混合专家模型。模型面向昇腾平台进行原生适配,并同步开放相关模型推理技术。其核心技术包括分组混合专家 MoGE 算法、自适应快慢思考合一机制,以及覆盖全链路的高性能推理系统优化。
- 为昇腾生态提供可直接研究、适配和部署的开源基础模型
- 借助 MoGE 架构探索大规模混合专家模型的训练与推理效率优化
- 为统一快速响应与深度推理能力提供新的模型设计参考
- 推动国产算力平台上的大模型工程化与高性能部署
📝 原始笔记(逐字保留)
Black Forest Labs 开源图像编辑模型 FLUX.1 Kontext[dev] Black Forest Labs 开源旗舰图像模型 FLUX.1 Kontext[dev],主打图像编辑并支持在消费级芯片上运行。
Black Forest Labs 宣布开源旗舰图像模型 FLUX.1 Kontext[dev]。该模型专为图像编辑场景打造,可基于上下文对图像进行修改。其运行门槛较低,能够直接部署在消费级芯片上。
- 用于本地化图像编辑、内容创作与视觉应用开发
- 降低高性能图像生成和编辑模型的部署门槛
- 为消费级硬件上的多模态模型应用提供新选择
📝 原始笔记(逐字保留)
2025年AI现状报告:AI构建者手册 ICONIQ发布《The AI Builders Playbook 2025》,梳理2025年AI行业现状及AI产品建设趋势。
ICONIQ发布了《The AI Builders Playbook 2025》,聚焦2025年AI行业现状与产品建设实践。报告从AI构建者视角总结市场发展和落地趋势,可用于了解行业阶段性变化。原文由微信公众号转载或解读,并附有完整报告PDF链接。
- 跟踪2025年AI行业与产品落地趋势
- 为AI产品规划、市场分析和战略决策提供参考
- 了解AI构建者面临的机会与实践方向
📝 原始笔记(逐字保留)
7万个模型、1600万开发者:魔搭已建成中国最大AI开源社区 魔搭社区已汇聚约7万个模型和1600万开发者,成为中国规模最大的AI开源社区。
魔搭社区已汇聚约7万个AI模型,覆盖多种任务与应用场景。平台注册开发者达到1600万,形成了较大规模的模型共享与开发生态。其发展表明,中国AI开源基础设施正从模型托管平台逐步演变为连接模型、工具和开发者的综合社区。
- 为开发者提供集中获取、体验和复用开源模型的平台
- 降低AI模型开发与应用落地的门槛
- 展示中国本土AI开源生态的规模化发展趋势
📝 原始笔记(逐字保留)
真·全民 AI 健康管家来了!实测蚂蚁 AQ 蚂蚁推出 AI 健康管家 AQ,可通过连续追问、药品识别和皮肤图像分析提供健康服务,并连接医院及智能硬件。
蚂蚁 AQ 定位为面向大众的 AI 健康管家,支持围绕健康问题进行连续追问。用户可借助图像能力识别药品、初步了解皮肤问题,降低获取健康信息的门槛。该产品还能连接医院服务与健康硬件,将咨询、就医和健康数据管理串联起来。相关能力主要用于健康辅助,不应替代专业医生的诊断与治疗。
- 展示大模型在大众健康咨询与多模态识别场景中的产品化路径
- 通过连接医院和智能硬件,探索 AI 健康服务闭环
- 医疗应用需重点关注诊断边界、隐私保护与信息准确性
📝 原始笔记(逐字保留)
微软推出长视频探索智能体 Deep Video Discovery 微软提出 Deep Video Discovery 智能体,通过视频分段、自主规划和工具调用逐步检索信息,在多个长视频理解基准上取得领先成绩。
Deep Video Discovery(DVD)将长视频切分为较短片段,并把这些片段构成的内容空间视为智能体可探索的环境。系统利用大语言模型理解问题、开展推理并自主制定搜索计划。智能体能够选择合适的工具及调用参数,从视频环境中逐步获取证据,最终生成答案。该方法在多个长视频理解基准上取得领先表现。
- 为长视频问答和内容检索提供可扩展的智能体方案。
- 展示将复杂多模态任务转化为环境探索与工具调用过程的可行性。
- 可用于视频档案分析、影视内容检索、教育视频问答及监控视频理解。
📝 原始笔记(逐字保留)
许多 LLM 比一个更实用:多智能体协作中的道德判断 研究发现,多智能体 LLM 经过群体讨论后更倾向于接受功利主义式的道德违规,但其行为转变机制与人类群体不同。
论文比较了六种 LLM 在独立推理以及两人或三人多轮讨论条件下处理道德困境的表现。所有模型加入群体讨论后,都更容易接受通过直接伤害少数人来提升多数人总体效用的行为,呈现出类似人类群体审议的功利主义倾向。部分模型增强了对整体幸福最大化的支持,另一些模型则降低了对道德规范的遵从。尽管表面结果与人类相似,LLM 的变化主要来自规范敏感性下降或公正性增强,而人类更多是因为对决策结果更加敏感。
- 为多智能体系统的对齐与安全评估提供群体道德行为方面的实证依据
- 提醒开发者关注多轮协作可能放大道德违规倾向,而非默认群体讨论能够改善判断
- 可用于设计同时衡量结果效用、规范遵从和公平性的智能体评估框架
- 说明不能仅凭表面行为类比人类群体,还需分析模型决策变化背后的机制
📝 原始笔记(逐字保留)
L0:面向通用智能体的可扩展端到端强化学习训练系统 L0 通过沙盒化并发训练管道与 NB-Agent 脚手架,使语言模型仅依靠可验证奖励强化学习即可学习规划、搜索、验证和记忆能力。
智能体 强化学习 模型训练 人工智能框架 任务规划 智能体记忆 自演化
L0 是一个面向通用智能体的低成本、可扩展端到端强化学习训练管道,通过沙盒化的并发工作线程降低复杂环境中的训练门槛。其 NB-Agent 脚手架采用“代码即行动”的 REPL 交互方式,并支持记忆管理、信息总结与自我反思。研究表明,基础模型仅通过具有可验证奖励的强化学习(RLVR),即可逐步掌握规划、搜索、验证和记忆等能力。在 Qwen2.5-7B-Instruct 上,L0 将 SimpleQA 准确率从 30% 提升至 80%,将 HotpotQA 准确率从 22% 提升至 41%,相关模型、训练管道和配方均已开源。
- 为多轮、长视距智能体任务提供可扩展的端到端强化学习基础设施。
- 说明 RLVR 无需复杂人工轨迹监督,也可能培养智能体的规划、搜索与验证能力。
- NB-Agent 的记忆和反思机制可为研究可持续学习、自我改进型智能体提供参考。
- 开源训练管道与配方便于复现,并可用于事实问答、工具调用及复杂推理任务。
📝 原始笔记(逐字保留)
推理腐蚀:推理语言模型成为公共产品博弈中的搭便车者 公共产品博弈实验表明,推理型大模型未必更善于维持多智能体合作,o1 系列甚至表现出明显的搭便车倾向。
研究将带有制度选择的公共产品博弈引入多智能体 LLM 系统,考察智能体是否愿意投入自身资源来奖励合作或惩罚背叛。实验观察到四类行为模式,包括持续合作、反复参与与退出、合作逐渐衰退以及始终执行固定策略。令人意外的是,o1 系列等推理模型较难维持合作,而部分传统 LLM 能稳定实现较高水平的集体协作。结果说明,推理能力的增强并不会自然转化为亲社会行为或长期协作能力。
- 为多智能体系统的合作性、社会一致性与安全部署提供行为评估方法。
- 提醒开发者不要将推理能力直接等同于协作能力,应单独训练和评估激励、惩罚及长期合作策略。
- 可用于研究智能体在资源分配、制度选择和社会困境中的搭便车风险。
📝 原始笔记(逐字保留)
首创 Mid-training 范式破解 RL 奥秘,Llama 推理性能追平 Qwen 研究提出中期训练策略,将 Llama 改造为更适配强化学习的推理基础模型,显著缩小其与 Qwen 在 RL 扩展能力上的差距。
研究深入分析了 Llama 与 Qwen 等基础语言模型在强化学习训练中表现差异的成因。作者提出创新的中期训练(Mid-training)范式,在正式强化学习前增强模型的推理基础与 RL 适配性。该策略成功将 Llama 改造为更适合强化学习扩展的推理基础模型,显著缩小了其与 Qwen 的性能差距。项目已开源论文、代码、模型及相关数据资源。
- 为基础模型在强化学习前的能力塑造提供新的训练阶段与技术路径
- 说明 RL 效果不仅取决于强化学习算法,也受到基础模型预训练与中期训练特性的显著影响
- 为 Llama 等模型构建高性能推理系统提供可复现的代码、模型和数据资源
- 有助于研究不同模型家族在 RL 扩展能力上的差异及其可干预机制
📝 原始笔记(逐字保留)
使用开放基准测试评估语言模型的陷阱 研究通过在公开测试集上直接微调小型语言模型,证明开放基准排行榜高分可能源于测试集泄漏,而非真实的泛化能力。
开放式语言模型基准 HELM、BIG-bench 虽有助于标准化比较和结果复现,但公开测试集也为针对性优化乃至“作弊”留下空间。研究者将较小版本的 BART、T5 和 GPT-2 直接在公共测试集上微调,使其在 HELM 排行榜中取得领先成绩。尽管这些模型泛化能力较差、实际用途有限,公开榜单却难以准确揭示这一缺陷。论文因此主张使用私有或动态基准补充公开评估,并重新审视现有语言模型评测体系。
- 提醒研究者不要将开放排行榜成绩直接等同于模型的真实能力与实用价值。
- 在评测流程中引入私有测试集、动态题目和污染检测,以降低测试集泄漏风险。
- 建立同时考察泛化性、鲁棒性和现实任务表现的多维评估机制。
📝 原始笔记(逐字保留)
垃圾输入,推理输出?为何基准分数不可靠及如何应对 研究系统审计三项常用推理基准,发现数据缺陷、评分偏差和输入敏感性会使高分无法真实反映大模型的推理能力。
研究审计了 SocialIQa、FauxPas-EAI 和 ToMi 三个推理基准,并使用 GPT-3、GPT-3.5、GPT-4、o1 和 LLaMA 3.1 进行诊断。结果揭示了重复题目、歧义措辞、不可信答案等结构、语义和语用问题,同时指出现有评分程序往往更关注输出格式而非推理过程。人工清理和重新评估表明,模型分数变化通常源于表面措辞、上下文可用性及格式线索,而不代表推理能力真正提升。作者据此质疑仅凭静态基准分数判断模型推理能力的有效性,并发布了审计数据与评估工具以支持更具解释性和诊断性的评估。
- 在发布模型推理能力结论前,对基准数据的重复、歧义、答案合理性和格式偏差进行系统审计。
- 通过措辞扰动、上下文增删和人工标注测试模型表现的稳定性,避免把格式匹配误判为推理。
- 将评估重点从静态答案选择转向模型如何依据可用信息形成推断的过程。
- 为构建更可靠、可解释且具有诊断价值的推理评估协议提供参考。
📝 原始笔记(逐字保留)
MMReason:面向 AGI 的开放式多模态多步骤推理基准 MMReason 通过开放式高难度问题、逐步解答标注和三元评分机制,更全面地评估多模态大模型的长链推理能力。
MMReason 是一个面向多模态大语言模型的开放式、多步骤推理基准,覆盖 6 个学科以及从大学预科到竞赛级别的多种难度。研究者将问题改写为开放式形式,并利用多模型投票过滤容易通过猜测或记忆解决的样本。基准为问题提供详细的分步解答,并设计基于参考答案的三元评分机制,以评估模型的中间推理步骤。作者还使用该基准测试了多种主流 MLLM,并分析了其长链推理能力与不足。
- 用于更可靠地衡量 MLLM 的长链、多步骤推理能力,而非仅检查最终答案。
- 开放式问题与多模型过滤可减少选择题猜测、训练数据记忆等评测捷径。
- 逐步标注和中间过程评分有助于定位模型推理链中的具体错误。
- 可作为多模态推理模型训练、评测及能力对比的标准化资源。
📝 原始笔记(逐字保留)
RExBench:评估 LLM 智能体实现研究扩展的能力 RExBench 通过 12 项真实研究实验扩展任务评估 LLM 智能体,结果显示即使增加人工提示,最佳成功率仍低于 40%。
SWE 软件工程 智能体 模型评估 人工智能辅助编程 人工智能
RExBench 是一个面向研究扩展能力的基准,包含 12 个由领域专家设计的真实实验实施任务,要求智能体基于已有论文和代码库验证尚未实现的研究假设。该基准强调抗数据污染,并通过执行智能体产出的代码自动判断任务是否达到成功标准。研究使用 aider、Claude Code 和 OpenHands 三种框架评估了九个 LLM 智能体,发现它们大多无法自主完成研究扩展。额外的人工编写提示虽能提升成功率,但最佳表现仍低于 40%,说明当前智能体处理现实研究工程任务时仍高度依赖人工指导。
- 用于衡量 LLM 智能体从论文与现有代码出发实现新研究假设的能力。
- 为研究型软件工程智能体提供可执行、抗污染的自动评估方案。
- 揭示当前智能体在复杂实验实现、代码库理解和自主研究扩展方面的明显短板。
- 提示后续系统应加强长程规划、实验调试及低人工干预下的自主执行能力。
📝 原始笔记(逐字保留)
可验证自然语言到线性时间逻辑的转换:VLTL-Bench 基准与评估套件 VLTL-Bench 通过多状态空间、自然语言与线性时间逻辑规范、样本轨迹及分阶段真值标注,系统评估 NL 到 LTL 转换的准确性、接地能力与可验证性。
现有自然语言到时间逻辑的系统在定制基准上接近满分,但通常只评估公式翻译准确率,忽略了将原子命题接地到新环境的能力。VLTL-Bench 提供三个不同的状态空间、数千组自然语言规范及对应的线性时间逻辑形式规范,并附带用于验证公式的样本轨迹。该基准支持端到端评估,也针对提升、接地、翻译和验证四个阶段分别提供真值标注。它旨在减少定制数据集造成的指标虚高,推动可扩展、通用且可验证的 NL-to-LTL 方法研究。
- 统一评估自然语言到线性时间逻辑转换系统的端到端可靠性。
- 单独诊断提升、命题接地、逻辑翻译和轨迹验证等环节的误差。
- 检验模型在新状态空间和环境中的泛化能力,避免仅依赖已知接地信息。
- 为机器人规划、系统控制和形式化需求验证提供可复现的评测基础。