SkillMarker:基于 KGW 的智能体技能所有权验证水印方法
SkillMarker 是一种基于 KGW 的水印方法,用于智能体技能的所有权验证与泄露溯源,通过质量约束改写与信号导向候选搜索兼顾功能保持与水印强度。在四个数据集上,该方法对下游任务性能影响可忽略;复制粘贴测试中,基于窗口的检测可稳定识别最短 1,536 个连续 token 的抄袭片段,与一至三个背景技能合并后水印检出率仍保持 72.2–77.8%。
SkillMarker 是一种基于 KGW 的水印方法,用于智能体技能的所有权验证与泄露溯源,通过质量约束改写与信号导向候选搜索兼顾功能保持与水印强度。在四个数据集上,该方法对下游任务性能影响可忽略;复制粘贴测试中,基于窗口的检测可稳定识别最短 1,536 个连续 token 的抄袭片段,与一至三个背景技能合并后水印检出率仍保持 72.2–77.8%。
研究者提出 Spectral-Guided Quality-Diversity Diffusion 框架,将质量-多样性(QD)优化与扩散模型结合,通过直接优化模型的潜在噪声和条件嵌入来发现多样且高性能的输出。
研究评估了五个 DNA 基础模型的冻结表征,在 57 个基因组分类数据集和两个基因表达回归任务上与归一化 k-mer 频率对比。简单 k-mer 特征与多数模型相当,NTv3 表现出一致优势:与全局 6-mer 特征拼接后在 57 个数据集中的 46 个上提升(平均 ΔMCC = +0.072),Caduceus 增益较小,其余模型平均 MCC 未提升。
BharatSetu 22-Indic 1M 发布,这是一个行对齐表格,包含 984,764 条英文句子及全部 22 种印度表列语言的机器翻译(共 21,664,808 个 Indic 单元),由 sarvamai/sarvam-translate 模型族生成。
RespFocus 是一个基于多实例学习(MIL)的弱监督框架,从周期级标签中学习可检验的时间声学证据并融入分类,在公开 ICBHI 2017 上取得四分类 Score 69.55%,在新建的多中心儿科呼吸音队列 PedResp2026 上取得 72.91%。PedResp2026 采集自常规临床环境,带有经裁定的周期级标注。证据诊断与匹配的时间干预实验支持所学证据对模型预测的功能性贡献。
TabMosaic 是一个统一的上下文扩散模型,可在无需针对特定表格训练的情况下,为未见且可能不完整的表格生成混合类型目标单元格。该模型将扩散去噪目标定义在所有目标单元格的联合分布上,其预训练目标可约束条件负对数似然及与后验预测分布的散度,将上下文学习的贝叶斯解释从单值预测扩展到多单元格联合生成。在 48 个真实表格上,TabMosaic 在所有评估的生成任务中均排名第一,优于 20 种基线方法。
研究提出 HiCAD 两阶段框架,直接将手绘草图和文本描述等多层级人类意图映射为可执行的参数化 CAD 代码,无需预先存在目标 CAD 模型。该框架通过协同多任务对齐弥合异构输入的表示差距,并用空间感知强化学习保证几何与拓扑一致性,同时构建了首个对齐手绘草图、文本描述与参数化 CAD 代码的大规模数据集 HiCAD。实验表明该方法在多项任务上显著优于现有基线,论文已被 ICML 2026 接收。
研究者提出修复型 DCSP 求解器 DCC-Incomplete,将未解部分归入冲突簇,并通过协调层把通信限制在同一冲突区域内的智能体之间。在带预设可满足解的分布式图着色基准上,其记忆引导重启将成功率从 37.50% 提升至 61.11%,中位运行时间从 0.565s 降至 0.367s,每条约束的中位通信量从 12.493 条消息降至 6.503 条。
ELECT 提出一种免训练故事可视化方法,通过语言引导的场景-实体映射和从模型自身草稿中选出的固定锚点,在最终渲染前确定跨帧身份,使最终渲染的每帧成本与故事长度无关。
针对任意正权重与加性非负成本函数下的不可分杂务分配问题,研究证明每个实例都存在 4.124234528-WMMS 公平分配,并给出在权重与成本均为二进制有理数时,可在多项式时间内计算出 4.12424-WMMS 分配的算法。同时构造出一族成本严格为正且排序相同的实例,其最优 WMMS 近似因子收敛到 e,从而将此前 Li 等人给出的 [2,12] 区间收窄至 [e,4.12424]。
OceanFlow 是一个面向概率全球海洋建模的连贯流匹配框架,先为条件集合建立稳定均值锚点,再通过流匹配学习状态条件化的路径分布,在保持预测中心的同时细化状态相关不确定性。
SARATHI 将结构化剪枝的神经元选择与权重重建解耦:无数据的 NMF Residual Subspace Probe 仅凭权重几何打分,Adaptive OBS 用局部校准批次重建权重,每层峰值内存为 O(d²),并加入 Bias Shift Compensation 修正 LayerNorm 后的激活漂移。
研究者提出纯黑盒红队框架 REPRO,仅靠单张消费级 GPU 上的压缩开源 7B 反思模型驱动进化优化来发现对抗提示词,并引入语义交叉与基于 Thompson Sampling 的贝叶斯策略选择。
CacheLink 通过直接学习接收方行为下的耦合 K/V 校正,实现零预填充的跨模型上下文交接。在四组独立训练的发送方-接收方模型对和七个评测面板上,CacheLink 在所有模型对上的等权平均指标均优于其他方法;在 32K 上下文下,相比接收方重新预填充,交接延迟最多降低 7.27 倍。
一篇被 ACM Computing Surveys 接收的系统性综述指出,LLM 虽加速软件开发,却因训练数据偏差频繁生成不安全代码和错误补丁,模型自身也易受直接攻击。现有评测方法存在数据污染问题且缺乏稳健的安全指标,因此人工监督仍不可或缺。研究认为,更安全的自动化集成需要安全感知的模型架构、更强的安全专用基准以及更有效的人机协作框架。
一项大规模实证研究构建了跨层故障分类体系与故障注入追踪流程,覆盖 100 项任务、五个领域、三种工作流拓扑和三种模型配置,共 29,000 余次执行。研究发现,有完整检测记录的失败中 20.7% 没有即时失败信号,部分内容故障时这一比例达 76.2%;Flat 拓扑在通信故障下保持 53.0% 任务成功率,而 Sequential 和 Hierarchical 分别仅为 3.3% 和 3.2%。
BridgeCodec 通过将跨编解码器转换建模为 Schrödinger Bridge 最优传输问题,解耦了冻结的编码器-解码器对,并集成 Mamba 增强的 U-Net 架构捕捉长程语音时序依赖。在 1 kbps 超低比特率下,该框架将 8 kHz 轻量源编码器直接映射到 48 kHz 目标解码器,实现了优异的宽带重建和感知质量。该工作已被 Interspeech 2026 接收。
研究者提出 SpecWM,一个 JEPA 框架,通过目标相似度核显式指定观测间的关系,并训练编码器在嵌入几何中复现这些关系。时间谱对齐将 CEM 规划成功率从 LeWorldModel 的 52% 提升至 68%(OGBench Cube)、49% 至 77%(OGBench Scene)、29% 至 51%(CALVIN)。结果表明,显式指定表征几何可引导潜在世界模型保留对控制有用的信息。
针对基于上下文的离线元强化学习(COMRL)在参数外推任务上编码器产生训练支撑集外潜在表示的问题,研究者提出悲观潜在任务感知优化(PLATO),通过在训练中扰动推断出的任务潜在表示合成反事实任务,并用学习到的解码器集成在扰动潜在上展开短轨迹,以悲观权重更新策略。在八个 MuJoCo 连续控制基准上,PLATO 在分布外任务回报上持续优于强 COMRL 基线,在分布内任务上保持竞争力。
研究者提出 FlipAct,一种针对物理状态下工具使用的诊断方法,用标注工具属性上的规则计算答案与分级证据分数,将 Yes/No 边界固定为零,并通过 2×2 问题组在知识不变时翻转状态。
研究者提出基于 E8 格点向量量化的 KV-Cache 压缩方法,用 2-bit 键加 2-bit 值的 k2v2 配置即可保持接近基线的质量。该方法在五种 LLM 系列上实现约 6 倍 KV 压缩,比标量 k3v2 小约 20%,并在 80% 的模型-数据集-上下文组合中困惑度优于标量 k3v2,同时解码吞吐与标量基线持平。
研究团队在不改动 Nemotron-3-Nano-30B-A3B 主干架构的前提下,将其词表从 131,072 原地扩展至 163,072,使每词 token 数减少 38.6%,并完成约 1.27 万亿 token 的持续预训练。
Gnani-Evon-v3.3-30B-A3B 是一款面向英语及八种印度语言的长上下文混合 Mamba-Transformer MoE 推理模型,基于 NVIDIA Nemotron-3-Nano-30B-A3B 检查点,保留 52 层主干并更换词表、训练数据与后训练目标。
研究者提出一种面向预训练分类器的对抗样本检测方法,通过证明从认证 ℓ2 鲁棒性到认证检测的 Lipschitz-margin 归约,将问题简化为处理单一 Lipschitz 常数 L,并引入 D_Adv 与 D_lc 两个检测器家族,无需重训练即可部署于任意预训练分类器。
Siam-ALS 是一个可解释的孪生深度学习框架,联合建模同步 EEG 与眼动信号用于 ALS 早期检测,在 EEGET-ALS 数据集上以严格被试级交叉验证取得 0.988 准确率和 0.998 AUROC。
Gugak-VocalSet 是首个公开的韩国传统歌唱音频数据集,包含 24.5 小时无伴奏独唱录音、305 首曲目、20 位专业歌手,并提供约 68,000 个 sigimsae 标注片段(含多标签共 71,700 个实例)。
CodeWalk 提出将已验证的原子编程问题组合成 level-N 任务来生成编程基准,整个构建过程程序化,无需语言模型生成或验证。
研究者提出轨迹感知对抗对齐与精炼攻击 TARA,用轨迹感知优化与对比对齐生成单一可打印对抗纹理,在 EPIC-KITCHENS-100 和 Something-Something V2 上跨视角、跨时间持续误导世界模型与视频理解模型。团队还构建了几何跟踪流水线并采集真实打印-重拍视频,形成可复现测试平台。
StimFlow 用条件流匹配在原生体素空间直接合成 fMRI 响应,单样本即达到 0.371 的逐体素 Pearson 相关,与平均五次采样的基线相当。该方法结合 DINOv2 结构特征与 CLIP 语义特征,无需解码器即可做 ROI 分析和概念定位,并仅用一小时扫描数据就恢复到全量数据一半以上的性能,支持高效的跨被试适配。
ZOIF 是一个仅通过前向传播完成影响函数估计的零阶框架,用于大语言模型的数据选择,无需反向传播。它将影响估计分解为三步无 BP 流程:零阶估计平均代理梯度、以辅助零阶优化求解逆 Hessian 向量积、再沿参数更新方向用前向有限差分得出每样本影响分数。实验显示其选出的数据子集下游效用与基线相当甚至更优,同时峰值内存显著降低、总计算时间相近。
研究者提出 Anchor-and-Harvest Curriculum(AHC),一种面向 Craftax-Full 的规则化训练系统,不使用 LLM 推理且保留全部 43 个动作。
这篇白皮书提出 Machine Deception Detector,同时针对检测准确率与检测器分数的不确定性:它读取语言模型每一层,仅用响应标签学习哪些 token 携带欺骗证据,并校准告警阈值使假阳性率低于预设水平。检测器集成通过成员一致性衡量每个分数的置信度,仅在成员一致时告警。评估在 Liars' Bench 五个未见欺骗任务上进行,使用 0.6B 至 32B 的六个 Qwen3 模型。
研究者提出 WisdomNet 神经网络架构,通过引入共轭神经元判断网络能否正确分类,使分类错误率降至 0%,无法确定的数据以约 10% 以内的比例标记为"拒绝"。该架构可应用于多层感知机、卷积神经网络和深度网络等已有模型,在多个数据集上完成验证。
研究者提出免训练 PTQ 框架 HGA-Quant,由尾部感知有界初始化网格精炼(T-BGR)与由粗到细激活精度调度(CAPS)组成,用于自回归视觉生成(ARVG)模型的低比特量化。在 Infinity 上,该框架以 W4A5.6 有效激活精度实现接近全精度的图像生成质量,而现有方法在 W4A6 下仍出现明显质量下降或表现不稳定。代码已开源。
Co-DSL 让用户与 LLM 协同设计可复用的空间概念库,用户提供描述后由 LLM 转为初始实现,再通过示例场景观察执行行为并给出轻量反馈,由 LLM 修正概念逻辑。
针对痕量荧光标记(TFL)蛋白质结晶试验图像,研究发现使用发射光谱峰值波长之外的从属颜色通道强度,可将似先导物或晶体被误判为非晶体的比例从9.71%降至2.02%,分类器准确率提升1.77%至5.53%。
研究团队发布 LENS 基准,用 1,765 道人工校验题目从语言鲁棒性、社会文化视角对齐和领域知识三个维度评测 LLM 对朝鲜的理解。评测显示,模型在朝鲜语输入上性能小幅下降,社会文化视角对齐差距更大,领域知识则严重不足。定性分析发现模型常混淆正式制度与现实生活、套用自由民主假设或依赖刻板印象。
GeoBridge 是一个可演化搜索可迁移解码器拓扑的框架,通过残差、串行、并行组合可配置原语,使阶段内部拓扑可搜索,单次源搜索约需 12 GPU 小时。
研究者提出 Symplectic Hamiltonian JEPA(LeHami),用动作条件化的 Hamiltonian 流替换 JEPA 世界模型中的标准预测器,在结构化隐状态 (q, p) 上以精确辛 leapfrog 步积分,从而在任意 rollout 步保持相空间体积。
Sequent-Prover 是一族使用验证器的语言模型智能体,在可执行的 SMT-LIB 草稿本中推理,通过多轮查询 Z3、检查求解器反馈并修复形式化,最终给出显式答案。