PCMI（Phoneme-Cluster Mutual Information）和 WACS（Word Acoustic Consistency Score）是两种基于自监督语音表征的语料级指标，可在不依赖人工标注时间戳的情况下评估强制对齐质量，从而支持大规模和多语言场景。
值得关注：强制对齐是语音识别、语音合成和语言学研究中的基础环节，但传统评估依赖人工时间戳，难以覆盖长尾语言。PCMI 和 WACS 提供了无需标注参考的评估路径，有望提升多语言语音系统评测的自动化水平。
本文给出加权 Dikin 行走混合时间的两个证明：对于多面体上的指数分布采样，使用 Lee–Sidford、Lewis-weight 或 John 度量时可得到 $\widetilde O(d^2)$ 的总变差混合界；对于适当缩放的 Lee–Sidford 度量，还可在 $\chi^2$ 散度下得到 $\widetilde O(d^2)$ 混合界，改进此前…
值得关注：该结果进一步逼近了 Dikin 行走混合时间的 $d^2$ 猜想，并且通过“高概率区域上的接受概率控制”和“四阶 bootstrap 条件”提供了两种不同的证明路线，可能为后续研究提供新的分析工具。
Claude Code 插件市场正在快速扩张，插件开发以功能提交为主导；技能目录中的自然语言指令文件与实现脚本存在显著共演化，构成一种传统软件工程中未观察到的维护依赖类型。
值得关注：智能体插件正在成为 AI 编码工具链的关键扩展方式。如果插件只是一次性脚本，生态维护压力较小；但本研究表明，指令文件与实现脚本会共同演化，并且存在功能耦合。这要求开发者、平台方和工具链把“自然语言指令”当作一类需要被跟…
NL2AGBench 是一个专门评测大语言模型（LLM）能否把英文几何题自动翻译成 AlphaGeometry 可执行形式语言（DSL）的基准，结果显示最强闭源模型的可执行翻译率超过 80%，而开源模型即使在最大规模下也较难稳定保持几何约束并生成合法形式化表示。
值得关注：已有相关卡片主要关注 LLM 的自我改进、推理调度、KV 缓存压缩等方向，而本条聚焦“LLM 自动形式化”这一相对未被充分探索的能力，并且直接以 AlphaGeometry 作为评测载体。它补充了现有脉络中的增量信息：…
Logos: An Agent Harness on a Cross-Process Bus
这篇系统综述覆盖 2023–2026 年同行评审文献，发现当前 LLM 安全智能体已经“能行动”——能规划、用工具、在多步流程中保持状态并修订计划——但尚未达到“权限有界、行为可审计”。领域中“agent”一词使用不一致、应用场景风险差异大、评估协议常不可比。
值得关注：这是对 LLM 智能体在软件/系统安全领域的一次系统化梳理，而不是单一技术点。它为后续研究提供了一个共同框架：把“智能体能力”与“可委托性”分开考察，避免只用端到端结果评价安全智能体。
本文提出 LTP-BIT，一种“先学目标域生成先验、后学源条件控制”的解耦训练范式，将遥感跨模态图像翻译中的目标先验学习与跨模态依赖学习分开；在 SAR-to-RGB 和 NIR-to-RGB 基准上仅用 9.81% 任务特定参数达到 SOTA，并在 QXS-SAROPT 上仅用 25% 配对样本保留接近全数据实例保真度。
值得关注：遥感跨模态翻译（如 SAR 到光学、NIR 到 RGB）在灾害监测、土地利用分类等场景有广泛应用，但高质量配对数据通常稀缺。该工作的核心增量在于：明确指出目标域先验和跨模态依赖在数据需求上的不对称性，并用解耦训练把“学…
本文研究输入协方差特征值按幂律衰减的各向异性高斯数据上的核岭回归，在多项式高维机制（\(n=\Theta(d^\kappa)\)）下推导出核谱与泛化误差的渐近精确表达式，发现各向异性会从根本上重塑学习曲线。
值得关注：该工作为理解输入数据几何如何影响核方法提供了精确理论工具：协方差特征值的幂律衰减（各向异性）不仅改变核谱，还从根本上改变泛化误差的样本复杂度依赖关系。与已有相关卡片（AI生成图像检测、散斑回归、零售机器人VLA框架）相…
本文提出一个通用框架，用“规模-权重前沿”（size-weight frontier）刻画合成数据增强统计推断时的样本量与权重配置，并从历史任务中估计该前沿，从而对前沿上或下方的所有配置同时给出有限样本覆盖保证。在利用大语言模型回复增强民意调查数据的实验中，该方法达到目标覆盖率并显著缩窄置信区间。
值得关注：合成数据在基础模型时代越来越常见，但盲目混合真实与合成数据会导致统计偏差。本文为多任务场景下的合成增强选择提供了原则性框架，结合历史任务信息，在不牺牲覆盖率的前提下提高推断效率。与已有相关卡片相比，本条卡片聚焦于统计推…
本研究提出 GOLLuM（Gaussian Process Optimized LLMs）——通过高斯过程的边际似然目标训练大语言模型，使其具备校准的不确定性估计，从而能够在自然语言指导下进行跨领域实验优化；仅从 10 个低性能实验出发，即可在 23 个任务上平均排名第一。
值得关注：本研究提出了一种新的基础模型专门化范式：不是通过更多数据，而是通过更丰富、不确定性引导的信息来训练模型。与已有相关卡片中的检索增强知识图谱、水印或测试时模型选择不同，本条目的增量在于：首次将 LLM 直接通过贝叶斯优化…
在LLM机器翻译中，顺序式测试时扩展（sequential sampling）相比并行式（parallel sampling，如i.i.d.采样+重排）具有更高的性能上限，其收益主要体现在翻译流畅性和自然度上；但当推理预算较大时，顺序采样反而可能损害翻译准确性。该增益可部分归因于模型能够访问更大的目标侧上下文（target-side context）。
值得关注：已有测试时扩展研究强调不应把“预算”当作一个简单标量，而要区分推理算法的结构。本文在机器翻译这一具体任务上，进一步区分了顺序式与并行式两种扩展形态，指出其收益模式不同：顺序式提升流畅性和自然度，但可能牺牲准确性；且机制…
InstructMesh 是一个面向制造的交互式后处理精修工具，允许用户通过区域选择和局部操作（如打开/封闭空洞、调整局部厚度）修复生成式3D模型的几何缺陷；其关键设计是直接在中间潜变量表示上进行编辑，使没有专业建模技能的新手也能完成制造前的几何修正。
值得关注：生成式3D模型的实际应用受限于几何不精确，InstructMesh 直接面向这一缺口，而不仅仅是提升视觉质量。 与完全自动修复或专业建模软件相比，它强调普通用户的“选择性控制”和“无需专家技能”。 与已有相关卡片的增量…
即使不同评分规则在理论上都激励模型“说出真实概率”，五种 proper scoring rules 作为 LLM 训练目标时，仍可能产生不同的校准、概率使用和误差结构；因此不能简单认为 proper scoring rules 可以互换。
值得关注：既有相关卡片已经展示过部署配置、外部制度规则、信念表达方式等因素会塑造 LLM 行为。本条的增量在于：**训练阶段奖励函数的选择**也是值得关注的干预点。五种 proper scoring rules 共享“鼓励真实概…
GeBDA 提出将建筑损毁评估（BDA）直接建模为文本序列预测任务：一个通用视觉-语言模型仅通过自回归生成，输出建筑物边界框及其损毁等级；初步实验表明，仅输入双时相卫星图像和合适的文本提示即可获得有前景的损毁映射结果。
值得关注：检验了通用 VLM 是否能把“目标定位 + 分类”的遥感任务转化为纯文本序列生成，可能简化 BDA 流程。 与已有相关卡片形成互补：HASTE 聚焦无代码评估平台，GeBDA 则关注底层建模范式；ReChannel 做…
将人工智能融入地球系统模型（Earth system models, ESMs）虽然提升了模拟与预测能力，但也显著放大了可复现性挑战；本文提出将可复现性从“事后要求”重构为混合地球系统模型的“结构性属性”，并推出 RHEM（Reproducibility in hybrid Earth system models）参考指南与实施路线图。
值得关注：AI 与地球系统模型的融合正在加速，但“能预测”不等于“能验证”。如果混合 ESMs 的可复现性问题不被正视，科学结论可能变得难以追溯、难以复核，进而影响气候风险评估、极端事件预测和可持续发展政策。
DARTS 提出了一种面向自回归解码器的模型合并后表示偏置校正方法，通过熵加权 L1 损失和逐位置加性偏置，在新增参数约 0.1% 的情况下，显著改善合并模型在代码生成、数学推理和指令跟随等任务上的表现。
值得关注：本文是少数将模型合并后的表示偏置校正从编码器视觉模型扩展到自回归解码器模型的工作之一。它揭示了因果注意力掩码带来的偏置累积问题，以及高熵 token 位置的关键性，为后续解码器模型合并后的内部表示修复提供了新的技术思路。
COVER 是一种评估契约，通过在结果生成前固定公共信息边界、下游栈 G 和有限合法团队族，使有限基准上的“路由后悔值”（oracle regret）可被识别；受控测试表明它能暴露选择余量，但并未制造出“路由必胜”的结论。
值得关注：在智能体系统评测中，简单地比较端到端准确率会混淆多个因素。COVER 通过预先注册的评估契约和有限团队覆盖，使得“路由效果”在固定栈上可被识别。这有助于防止事后挑选对照来制造虚假的路由优势，也为多智能体路由评估提供了更严格的基准。
ContextPilot 提出一种用于长程智能体任务的主动上下文管理框架，通过扩展规划、长期记忆和软上下文卸载工具，并使用面向上下文编辑动作的细粒度强化学习（RL），在长上下文问答和深度搜索任务中实现更强性能与更紧凑的工作上下文。
值得关注：针对现有主动上下文管理方法的三个关键缺陷给出系统性解决方案：扩展工具集、改进探索效率、细化RL奖励分配。 与已有相关卡片相比，增量信息在于： 相比 CompactionRL（仅通过上下文压缩进行RL训练），Contex…
本文提出一个分裂共形（split conformal）框架，使神经算子输出的校准逐点带能在评估域上至少 $1-\gamma$ 的比例内包含真实解，并且该覆盖保证在测试输入与校准输入上以至少 $1-\alpha$ 的概率成立（$\alpha,\gamma\in(0,1)$）。在Darcy流与Navier-Stokes方程实验中，该校准带比现有校正方法更紧，同…
值得关注：该工作将共形预测的统计保证引入神经算子/函数空间算子学习，弥补了神经算子“预测快但缺少不确定性量化”的短板。与已有相关卡片相比，本条不是针对区间/模糊神经网络、真实-虚假分类或主观风险分解，而是直接为神经算子输出提供逐…
该综述认为，2025–2026年的神经网络优化已不能简单描述为“新Adam变体的序列”；矩阵感知（matrix-aware）优化器是真实进展，但不存在独立于具体情境的AdamW替代品。
值得关注：该综述为“优化器对比”提供了一个宏观框架，有助于避免把局部最优推广为普适结论。 与既有SOAP/Muon卡片的关系：已有卡片显示SOAP与Muon在机器学习原子间势训练中显著优于Adam；本条综述则补充了重要的限定条件…