Self-HPO将Qwen3.5-35B-A3B在3个编码基准上的平均resolve rate从57.8%推至64.8%

今日概览

  • Self-HPO将Qwen3.5-35B-A3B在3个编码基准上的平均resolve rate从57.8%推至64.8%。它交替更新harness与策略,而换用更强的外部harness提议模型还能进一步提升性能。
  • 循环模型的关键不只是减少参数,而是拓扑、输入注入和状态设计:在匹配训练和推理计算量时,采用整套Huginn式设计的模型比112层前馈MoE少75%的常驻参数,并在DROP和GSM8K上更好、MATH500上持平。
  • 合成属性绑定文本的收益能迁移到视觉检索,研究者仅用这类文本微调一个MLLM嵌入器,在保留通用多模态嵌入表现的同时改善跨模态与图像—图像检索,但开放场景泛化仍待验证。

重点关注

01 代码智能 只升级模型,为什么编码Agent仍会被旧工作流拖住?

编码Agent的表现不只取决于策略模型,还取决于harness——负责组织提示、工具与环境交互的执行框架。策略升级后,原有harness可能仍在针对旧的失败模式;反过来,固定harness产生的训练轨迹,也会限制策略能够学到什么。Self-HPO因此交替优化两者:当前策略先分析自身失败并提出新的harness候选,再在选定harness下通过强化学习更新,而训练中暴露的难题会进入下一轮harness搜索。这个闭环会持续改变Agent面对的任务与失败分布,因而联合优化的收益超过分别优化两部分后的简单相加。三个编码基准上,Qwen3.5-35B-A3B的平均解决率从57.8%升至64.8%,并在分布外测试中保持增益,但基准数量有限,泛化范围仍需更多验证。使用更强的外部模型Opus 4.8作为harness提议者还能带来进一步性能提升,说明结果会随提议者变化;对开发团队而言,模型迭代后同步重审工具编排与交互流程,可能比只继续训练模型更划算。

模型升级会改变失败分布,旧harness可能随之过时交替优化harness与策略能形成相互增益,效果不只是两个独立改进的叠加评估编码Agent时应把执行框架纳入版本迭代,同时关注其对外部提议模型的依赖

02 模型架构 循环层的收益取决于三个设计轴

这项工作把循环语言模型拆成三个可独立检验的设计轴:循环段位置、原始输入注入时机和循环状态组织。复用同一组Transformer模块能减少常驻参数,但最终效果取决于这些具体选择。这项工作在参数规模、逻辑深度和token预算匹配的条件下拆开三个变量,发现「前置层—循环层—后置层」的三段式拓扑能稳定改善上下文提取和推理任务,输入注入则主要帮助知识检索与上下文利用。相比之下,随机初始化循环状态和分离循环状态带来的收益并不稳定,甚至可能适得其反。这组取舍还能迁移到混合专家模型(MoE):在匹配训练和推理计算量时,采用该设计的模型比112层前馈MoE少用75%的常驻参数,并在DROP和GSM8K上更好、MATH500上持平,但其他任务只是保持竞争力。对设计小型或稀疏模型的团队来说,值得优先验证拓扑和输入注入,而不是把复杂状态机制默认当成升级方向。

循环复用层的效果取决于拓扑、输入注入和状态设计,不能只看参数压缩率三段式拓扑与输入注入是更稳妥的优先实验项75%更少的常驻参数能守住部分推理能力,但尚不能概括为全面胜过前馈模型

03 检索 合成属性绑定文本的收益跨到了视觉检索

研究者只用合成属性绑定文本微调一个MLLM嵌入器,收益便迁移到了跨模态乃至图像—图像检索。SABER基准覆盖图像与文本的4种检索组合,并把场景复杂度扩展到最多10个对象;在该基准上,CLIP式双编码器和较新的多模态大模型嵌入器都表现出显著的属性—对象绑定失败。研究者没有使用图像监督,而是仅用可精确控制困难负例的合成属性绑定文本微调一个MLLM嵌入器,在SABER上做到当前最佳,同时保留了通用多模态嵌入表现。微调后的模型在否定和实例检索基准上也有提升,显示这种绑定监督的收益不只限于SABER。合成属性绑定文本可降低收集此类监督的成本,但受控基准上的提升还不能自动等同于开放场景中的组合理解,泛化边界仍需看全文和更多实测。

属性与对象的绑定是多模态检索中一个显著的失败点合成属性绑定文本可降低监督数据的收集成本,本研究中其收益迁移到了视觉检索采用前应在真实复杂场景中验证,别把受控基准成绩直接当成通用理解能力
Self-HPO将Qwen3.5-35B-A3B在3个编码基准上的平均resolve rate从57.8%推至64.8%

也值得关注

04
把2.5万余组人工论文海报转成可重填的HTML/CSS槽位,让生成系统既能复用真实设计,又能通过渲染比对核验结果 代码智能RAP另设由150篇论文及其人工海报组成的留出测试集。链接
05
分别用设计与批评经验训练3D场景Agent,再让专用Critic同时参与强化学习和测试时修正,减少无效试错 图像生成Scene-OTA-35K与Scene-OTC-15K分别提供设计和质量批评监督。链接
06
用Lean4统一验证工具调用、工作流阶段和最终结果的多层奖励;摘要称所得模型超过同规模领先模型,LAR-27B在TerminalBench-2.1上达到77.3% 训练优化框架采用按工作流阶段归一化的GRPO算法训练LAR-9B/27B。链接
07
一个参考库接口同时接收数量可变的文本、图像和视频,让相机运动、主体、风格与特效控制进入同一视频编辑框架 视频生成R²-RoPE用于支持模型向更多参考输入泛化。链接
08
文本世界模型一旦需要把动作影响传播到依赖对象,20个参评模型的平均任务成功率便降至5.1%,暴露状态传播这一共同短板 评测GlobeBench包含横跨5个领域、19种模拟技能的1632项任务,其中631项没有模型解决。链接
09
即使训练提示和模型自身生成都无害,递归自蒸馏仍可能让失调逐轮加深,说明自生成数据闭环需要单独的安全评估 安全对齐这一现象在Qwen3和Phi-4系列上均得到观察。链接
10
当形式化规格已经能运行却语义错误时,用确定性诊断和只接受错误权重下降的规则,可把正确规格被改坏的比例从11.8%降至1.3% 推理DRAGO在5个基准上的平均答案准确率比零样本形式化高12.9个百分点。链接
11
在不修改黑盒编码Agent的情况下,根据跨任务经验注入微技能、裁剪无关工具并截断失败循环,可降低18.4%至30.9%的平均token成本 代码智能在Claude Code、Codex和GitHub Copilot CLI的测试中,任务成功率保持相近。链接
12
现有视觉语言模型往往能描述第一视角场景,却仍难根据用户目标给出有效辅助;VISTA用六类同步传感输入检验这道差距 多模态该基准包含约1000段第一视角记录,并对14个代表性模型进行了零样本评测。链接
13
答案表现相近的音视频模型,其解释受标注的空间、时间和声音证据支持的程度仍可能显著不同,不能只用最终答案衡量推理落地性 评测ANCHOR收录2319段视频和8272组问答,并分别评估答案正确性、幻觉、逻辑偏离与简洁度。链接
14
把不同模型间注意力头的排列与深度差异建模为对称性,让轻量监控器无需重新标注也能迁移到新LLM 安全对齐LEMON在16个LLM和6个数据集上进行跨模型测试,ROC-AUC最多比最强基线高14点。链接