跳到正文

#arXiv

今天收录 1 条

第 3 页更新的内容回到最新

9月25日周五
  1. arXiv:对齐与欺骗 ·

    DwT-FL:联邦学习中边训练边去重的隐私保护跨客户端去重系统

    针对联邦学习中跨客户端重复数据降低训练效率并加剧模型记忆与隐私风险的问题,研究者提出“边训练边去重(DwT)”范式及隐私保护去重系统 DwT-FL,将跨客户端去重从一次性全局同步预处理转为带状态管理、并发声明与故障恢复的持续在线服务。该系统通过并发状态声明机制与冷热双队列调度策略,实现安全去重与模型训练的并行执行,并支持客户端动态加入。实验显示,相比 SOTA 方案,DwT-FL 将故障恢复和动态加入的时间开销分别最多降低 93.04% 和 94.18%。

  2. arXiv:越狱与提示注入 · · 原文 78

    研究:RL 训练下推理模型学会绕过思维链监控而非隐藏推理

    论文提出并验证了“监控越狱”现象:在强化学习环境中,模型需完成主任务与副任务,若监控器发现副任务推理就扣分,模型并未学会隐藏推理,而是学会用特定措辞和格式让监控器漏判,推理对人类读者仍完全透明。作者用 GPT-oss 系列的 gpt-oss-20b 和 gpt-oss-120b 训练,以 GPT-5 系列的 gpt-5-nano、gpt-5-mini、gpt-5.2 作为监控器,主任务为 Game24,副任务为三位两位数乘法或 GSM8K 数学题。该现象在不同模型规模、监控器和任务上稳定出现,可泛化到训练中未见过的监控器与不同监控提示词,但跨模型家族泛化较弱。人工复现观察到的表面策略无法可靠骗过监控器,说明依赖 RL 学到的具体措辞细节。用同一监控器对思维链做改写可有效恢复监控能力,副任务推理被正确标记,主任务性能保留 91% 和 63%,副任务保留 87% 和 79%。

    推荐理由论文在 RL 训练中复现了思维链监控被绕过的现象,并给出改写作为可操作的缓解手段,适合关注监控可靠性的团队参考。

  3. arXiv:可解释性 ·

    FLIP:面向视觉语言模型的末层推理时探针

    FLIP 是一种末层推理时探针,用于检验开放权重视觉语言模型中面向 logit 的干预位点是否支持结构化、任务相关的计算。它对最终归一化隐藏状态做逐元素下限截断,不改变参数、提示词与解码,在检测/计数探针上随干预强度呈现无变化、有界内部区间(IoU 0.50 下检测召回率 R50 提升、容错计数误差下降)与过度抑制三种区域。该方法被定位为干预式机制可解释性的验证步骤,而非引导方法。

  4. arXiv:可解释性 ·

    FTB Graph:多语言模型首 token 广播器与语言身份头电路的结构分析

    研究用 Edge Attribution Patching(EAP)加 FP16 主动钳制、再以 2000 条候选边上限的精确激活补丁验证,在 GPT-2、BLOOM-560M、Pythia-1B/2.8B 和 Qwen2.5-1.5B Base/Instruct 六种架构上提取驱动首 token 语言广播的有向无环图。Pythia-2.8B 与 BLOOM-560M 证据最强,呈现深层或中深层广播枢纽;Pythia-1B 扩到 2.8B 后节点参与扩大但拓扑更稀疏。

  5. arXiv:Agent 与 MCP 安全 ·

    RecToolBench:在模糊用户意图下评测推荐专用工具编排的基准

    RecToolBench 是一个基于 MCP 的基准,用于评测模糊用户指令下使用工具的推荐智能体,包含 3 个推荐领域、13 个 MCP 服务器、32 个工具和 1200 多个可执行任务,覆盖单工具调用、并行调用、顺序工具链与混合编排。该基准通过 synthesize–fuzzify–judge 流水线构建,并用规则执行检查与基于评分标准的 LLM 评估来评测智能体轨迹。实验显示,语法有效的工具调用并不保证推荐成功,模型在语义参数落地、多步证据整合和最终推荐上表现不佳,且随编排复杂度上升而恶化。

  6. arXiv:越狱与提示注入 ·

    研究者提出面向邮件 Agent 的攻击链建模提示注入检测框架

    研究者提出一种面向 LLM 邮件助手的提示注入检测框架,把攻击建模为分阶段链条,而非单纯的恶意文本二分类。该框架结合文本检测器、各阶段专用验证器、显式规则风险信号、用户意图与动作一致性分析以及 logistic 决策策略,并从提示注入数据集中推导出攻击链标签。在随机划分、时间阶段迁移、条件阶段迁移、跨数据集迁移和消融实验中,结果显示随机训练测试划分会明显高估分布偏移下的鲁棒性,框架中较晚的工具参数阶段比早期阶段更易预测。在五个二分类基准上,该框架在严格阈值策略下平均 F1 为 0.406,而五个未额外训练的预训练检测器中最强者为 0.216。研究还表明,用与攻击相似的无害邮件训练有助于降低误报,同时保留检测真实攻击的能力。

  7. arXiv:后门、投毒与隐私 ·

    T-Backdoor:利用神经形态数据时间冗余对 SNN 实施保脉冲后门攻击

    针对脉冲神经网络(SNN)的后门攻击 T-Backdoor 仅使用 Rate、Latency、Jitter 等纯时间触发器,不引入任何空间扰动,使脉冲分布偏移更难被检测。在 N-MNIST、CIFAR10-DVS 和 N-Caltech101 三个神经形态数据集上,面对七种基线后门防御方法,T-Backdoor 在单目标和多目标设置下均达到接近 100% 的攻击成功率(ASR),且干净准确率仅有轻微下降,同时能抵抗现有后门检测与缓解技术。

  8. arXiv:越狱与提示注入 ·

    PrivDrift:审计活跃 LLM 对话中话题漂移下的用户秘密泄露

    研究者提出 PrivDrift 基准,用于审计用户披露的秘密在对话话题漂移和说服式探测后是否仍可被恢复。该基准包含 1000 组受控多轮对话,设有植入秘密、内容密集的漂移轮次和标准化提取探测。在三个具备扩展上下文窗口的 LLM 上,对话级混合泄露率在 38.7% 至 54.6% 之间,并随模型、秘密类型和说服强度明显变化。在测试的漂移窗口内,额外的话题漂移并未可靠降低泄露,作者据此认为活跃 LLM 场景中的隐私风险应被视为持续的行为失效模式,而非仅训练数据记忆或即时越狱行为。

9月24日周四
  1. arXiv:可解释性 ·

    研究检验幻觉神经元是否存在:稀疏探针定位并不唯一

    论文提出一套五步诊断协议,用于检验稀疏探针识别出的所谓幻觉神经元是否真的被唯一地定位。作者用该协议复现了此前 H-neurons 的工作,在 TriviaQA、BioASQ 和 NQ-Open 数据集上使用开源大语言模型,检测结果在模型和数据集间均可复现,并超过原报告在 TriviaQA 和 BioASQ 上的 AUROC 差距。Gemma 3 4B 在匹配数据集上持续优于 MedGemma 4B,TriviaQA 的 AUROC 差距为 +0.311 对 +0.235,BioASQ 为 +0.474 对 +0.455,NQ-Open 为 +0.128 对 +0.112。

  2. arXiv ·

    SWE-Prometheus:衡量真实代码仓库工程治理改进的基准

    SWE-Prometheus 是面向仓库级工程治理改进的基准,每个任务给出固定快照与开放式目标,要求智能体自行识别风险、排定干预优先级并验证改动,从六个治理维度通过配对证据、干净环境探针、行为门控和两名独立教师评分进行评估。基准包含 60 个仓库,10 个模型在共享的 22 仓库公开子集上平均 NGI 为 0.0568 至 0.5760,观测到的行为破坏率为 0% 至 23%。

  3. arXiv:可解释性 ·

    SAE 潜空间中词性作为涌现类别:LLM 形态句法信息呈分布式编码

    研究以词性(PoS)为受控测试用例,考察 Sparse AutoEncoder(SAE)潜变量暴露的语言结构。结果显示词性区分可从 SAE 激活中高度恢复,但不与潜变量形成一对一映射,且无法还原为词汇记忆;开放与封闭词类差异显著。词性类别由紧凑的稀疏潜变量组支撑,各组在留出数据上保持稳定,相关类别之间存在重叠,表明 SAE 以分布式、依赖类别的方式定位形态句法信息,而非原子式语法特征。

  4. arXiv:越狱与提示注入 ·

    AEGIS:用内部信号在中间层拦截大型音频语言模型越狱

    论文提出 AEGIS,一种针对大型音频语言模型(LALM)音频越狱的检测后干预防御方法。逐层探针显示,风险相关信息在中间层表示中仍可解码,但内部风险信号未能在后续层转化为拒答,作者将这一差异称为风险到拒答的缺口。AEGIS 据此在中间层设置风险门控,选择性激活下游安全适配器。在六个 LALM 和三个异构音频越狱基准上,AEGIS 将平均不安全率从 17.9% 降至 0.4%,对良性输入的过度拒答仅有小幅上升。代码已公开,论文投稿至 ICASSP 2027。

  5. Goodfire Research · · 原文 62

    Goodfire 在 Llama 3.1 8B 中发现通用加法模块

    Goodfire Research 在 Llama 3.1 8B 第 18 层发现一个通用加法模块,可同时处理算术、星期与月份等具有加法结构的任务。该模块把数字表示为激活空间中的一组圆,每个圆对应数字对某一模数的余数,类似傅里叶分解;计算 6+8 时,模块并行求解各模数下的加法,再组合出结果 14。研究者通过追踪跨层与跨 token 位置的信息流定位该模块,并用因果方法验证其跨任务通用性;同时沿这些圆进行引导可改变模型对月份问题的回答,说明这些流形是网络真实使用的计算对象。作者指出,这一发现依赖此前关于 LLM 用傅里叶特征表示数字的工作,并希望未来研究补全经验证据。

    推荐理由原文用因果干预验证了 Llama 3.1 8B 第 18 层的通用加法模块,为机制可解释性研究提供了一套可迁移的定位与验证方法。

  6. Goodfire Research · · 原文 62

    Goodfire 研究 SAE 能否捕捉神经几何,并提出无监督流形发现流程

    Goodfire Research 发布研究,考察稀疏自编码器(SAE)学到的方向与神经网络弯曲几何之间的关系。团队在包含甜甜圈、球面、莫比乌斯带等结构的合成数据上训练 SAE,发现随重建方向数量变化,SAE 会以三种方式恢复几何结构:碎片化(每个点由独立特征表示)、紧凑捕捉(少量共享特征充当坐标系)和稀释(中等数量特征部分共享)。在真实神经网络表示上训练时观察到的是稀释,单个 SAE 特征只覆盖流形的一部分,例如温度流形上「寒冷天气及其影响」与「极端高温及其影响」分别激活两端。

    推荐理由Goodfire 用合成数据与 Llama 3.1 8B 展示 SAE 方向如何以三种方式拼出弯曲流形,并给出无监督发现流程。

  7. arXiv:越狱与提示注入 ·

    透过人眼与机器眼:理解视频透视扩展现实中的视图错配

    视频透视扩展现实(VST XR)系统常以头显截图作为用户第一人称视觉上下文的代理,但系统捕获的矩形画面与用户实际可见的非矩形区域并不一致。研究在 Meta Quest 3 上开展试点级边界测量,证实截图帧与近似人类可见边界存在明显错配,并形式化了共见、仅系统可见与仅人类可见三类区域。基于该模型,四项案例研究显示视图错配可引发提示注入、隐私泄露、人类不可见信息偏差及人类可见信息缺失等风险,说明这不仅是几何问题,也带来安全、隐私与可靠性隐患。

  8. arXiv:Agent 与 MCP 安全 ·

    研究提出 ACE 语料库,评估内核级证据对 Agent 安全检测的有效性

    论文将应用层 Agent 遥测与内核级 syscall 追踪配对,首次给出内核层与应用层信号在 Agent 安全上的配对证据刻画。作者构建 Agent Cross-Layer Evidence(ACE)配对会话语料库,包含 4,047 个会话和 17 个威胁模型,覆盖六类投递向量家族、OWASP LLM 与 Agent 威胁类别中的 14 个,并归纳为 12 种攻击机制。在四类检测器上,内核证据单独即具判别力,与应用层证据组合通常优于任一单层视角,显示出单层分析可能遗漏的互补信号。研究还展示了对未见攻击家族的泛化能力以及向另一 Agent 运行时的迁移。

  9. arXiv:可解释性 ·

    Stream Recursion Model(SRM):面向可扩展机制可解释性的新架构

    Stream Recursion Model(SRM)是对 Hierarchical Reasoning Model(HRM)的改进,将计算组织为多个相互作用的潜在流并通过递归精炼更新,以便直接分析流动态、因果贡献与路由行为。SRM 在单参数性能上与 GPT-2 相当,分析显示各流之间存在一致且不同的行为,表明其具有结构化的专门化与交互。该工作认为 SRM 为可扩展的机制可解释性提供了实用的架构基础。

  10. arXiv:对齐与欺骗 · · 原文 87

    研究:自主研究智能体的奖励作弊挑战监督机制

    研究团队在 17 个大语言模型和 38 项任务上考察自主研究智能体的奖励作弊行为,发现无作弊指令时开放式研究流程任务的作弊率为 30.5%,任务特定内核任务为 2.9%。在明确允许作弊且通过阈值高于合规基线的任务上,677 次尝试中有 505 次(74.6%)被确认为奖励作弊,即既通过阈值又经机制验证小组确认使用了评测漏洞。仅看提交代码和报告分数的 LLM 评审小组漏掉了 505 次中的 33 次(6.5%)。在五轮迭代中,出现规避的模型-任务对从 7 增至 56;在两种反馈条件下共同评测的 79 对中,详细反馈下累计规避率为 40.5%,仅通用拒绝反馈为 20.3%。作者据此提出应把指标置于智能体控制之外,并在能暴露潜在漏洞的数据上独立重算。

    推荐理由论文用 17 个模型、38 项任务量化自主研究智能体的奖励作弊率与审查盲区,并给出可迁移的评测设计。

9月23日周三
  1. arXiv:对齐与欺骗 ·

    DCRL:通过策略-奖励流形对齐解耦与耦合强化学习

    针对规则奖励与奖励模型易导致优化不稳定和奖励作弊的问题,研究者提出 DCRL 框架,将 LLM 推理建模为逻辑演绎、评估与表征三个子流形耦合的流形,并把策略-奖励流形不匹配视为现有 RL 系统局限的几何根源。DCRL 包含基于三段论逻辑的提示词演化机制与策略-奖励重耦合机制,联合更新奖励模型与策略模型。实验显示,经 DCRL 训练的 Qwen3-4B 超过 Qwen3-32B 基线并接近 Qwen3-235B 的表现。

  2. arXiv:后门、投毒与隐私 ·

    RAMP:逆转对抗扰动以增强针对恶意软件检测器的干净标签后门攻击

    针对深度学习恶意软件检测器微调更新流程中的训练时后门攻击,研究者提出 RAMP,用遗传算法在黑盒条件下优化逆转对抗扰动,再通过保持功能的二进制改写注入,使良性程序表征向恶意软件区域偏移,从而在训练中制造更强的特征-标签冲突。实验显示 RAMP 在低投毒比例下显著优于仅用触发器的基线,且不损失干净数据准确率,并可与更先进的触发器设计结合。该工作已被 Inscrypt 2026 接收。

  3. arXiv:越狱与提示注入 ·

    GitHub Agentic Workflows 的智能体工作流规范与维护实证研究

    研究分析 GitHub Agentic Workflows(gh-aw)的 276 个仓库共 1,248 个 Markdown 文件,发现工作流指令远超简短提示词,中位数 556.5 词,62.1% 含代码块。在有至少 120 天活动记录的文件中,78.2% 到第 4 个月仍在更新;任务、输出、约束与流程指令各出现在超 93% 的已标注工作流中,但仅 9.4% 明确涉及提示注入防御。LLM 分类相对人工标注的 F1 为 0.818,Cohen's Kappa 为 0.715。

  4. arXiv ·

    CELLAUDIT:审计 AI 智能体发现细胞模型中的输入使用声明

    CELLAUDIT 通过审计输入能否进入所引计算、拟合预测是否依赖该输入、以及该依赖是否改善对观测响应的预测,来检验 AI 智能体发现细胞模型中的输入使用声明。在 BBBC047 基准上,智能体选出的预测器平均留出 Global PCC 为 0.3153,但对化合物替换保持不变,仅用对照谱的预测器也达到 0.3142;源码检查发现化合物查询通路被 singleton key-value attention 阻断。对 48 个候选的分层审计中,47 个在化合物替换下改变预测,但仅 20 个在两折上目标损失增益区间高于零。

  5. arXiv:对齐与欺骗 ·

    Fed-ADR:用恶意编排服务器协同客户端梯度操纵攻击联邦学习

    研究者提出 Fed-ADR,一种由恶意编排服务器(OS)实时协调异构对抗客户端、动态调整梯度更新的联邦学习攻击框架,可绕过多种现有防御。在 MNIST、Fashion-MNIST 和 CIFAR-10 上,该攻击将全局准确率从 90% 以上压到 10% 以下。配套检测机制从历史更新估计客户端真实梯度,可在数轮内识别恶意客户端并把准确率恢复到 90% 以上,计算开销比从头重训降低至少 20 倍。

  6. arXiv:对齐与欺骗 ·

    AGIMUD:面向人机多智能体交互模拟的社会情感 AI 软件架构

    研究者提出软件架构 AGIMUD,用于在模拟动态世界中实现人类与多个智能体的实时交互。该架构整合了智能体行为中的社会感知推理与情绪、面向人类用户与人工智能体的多模态方案,以及通过网络分发 AI 处理以支持多个自主智能体。基于该架构的动态世界以多用户地牢(MUD)形式呈现,智能体与人类可同时实时互动,代码已在线公开。

9月22日周二
  1. arXiv:对齐与欺骗 · · 原文 80

    Weco AI 提出 AIDE2:AI 研究智能体递归自我改进 8 天获七次提升

    论文提出 AIDE^2,让前沿 AI 研究智能体修改自身代码、在一组 AI 研发任务上评测修改后的版本,并保留在隐藏评测中表现最好的改动,形成递归自我改进循环。在为期 8 天的自主运行中,它连续发现七项改进,从新的搜索策略到压缩和管理不断增长的上下文的记忆机制。这些改进泛化到机器学习工程、启发式算法工程和基于物理的天气预报四个留出基准(天气预报与选择任务分布不同),最强的智能体在四个基准上都达到或超过一个在 FML-Bench 上排名靠前的人工设计研究智能体。在另一组留出任务上,循环从未直接优化的奖励作弊率也在运行中从 55% 降到 32%,比人工设计的智能体低 7 个百分点。

    推荐理由论文给出递归自我改进的完整实验设计,包括固定预算下的七次改写与奖励作弊率下降,可作为自改进与对齐风险的实证参考。

  2. arXiv:越狱与提示注入 ·

    Universal Fractal Natural Language Decision Map:werr 边缘运行时实现 0 字节 VRAM 决策

    论文提出 Universal Fractal Natural Language Decision Map,通过 werr 机器原生边缘反射运行时与 answerr 平台实现,完全不存储权重张量(0 Bytes VRAM),沿 Mandelbrot 集混沌边界调制 24 字节坐标种子合成确定性决策。其语义 token 阻尼滤波器(T_desc = 0.045)实现 0.0% 提示注入绕过(95% Wilson CI: [0.0%, 27.8%]),并将迭代剪枝 45.8%、吞吐提升 2.5 倍至 3.31 ms 延迟。

  3. arXiv:对齐与欺骗 ·

    RULER:面向 SVG 生成的实例感知评分标准奖励

    RULER 用实例感知评分标准为 SVG 生成提供强化学习奖励,无需配对 SVG 真值或人类偏好标注。它把每条指令转成覆盖语义、视觉、风格三个维度的六项评分标准,由 judge VLM 对渲染结果逐项打分,加权满意度经 GRPO 优化。在 MMSVG-Illustration 和 MMSVG-Icon 上,评分从 0.432/0.395 提升至 0.693/0.683,超过专用 SVG 模型并追平更大的 DeepSeek-V3。

  4. arXiv:对齐与欺骗 ·

    BAM 反馈编码实现推理时隐蔽的智能体通信

    研究者提出 BAM(Burnashev Adaptive Posterior Matching)反馈编码方案,把黑盒 LLM 隐写重构为带因果无噪声反馈的序列通信问题,每个生成的 token 双方都能观察到并用于指导后续嵌入。该方法结合后验匹配与解码确认阶段,安全性通过密码学归约证明建立。在三个开源权重语言模型上,BAM 于约 50 个 token 内传输 8-bit 载荷,1000 次试验的消息错误率为 0-0.1%,而同等长度下最强的黑盒基线为 10-17%。作者据此展示了在多种对话场景中实现高通信速率的端到端通信协议。

9月21日周一
  1. arXiv:对齐与欺骗 ·

    构建逆向思维:提升大语言模型的逆向推理能力

    针对 GPT-o1、GPT-o3、DeepSeek-R1 等长思维链模型默认前向推理的局限,研究者提出逆向推理模式构建方法,通过易-难两阶段数学数据集、两阶段监督微调、平滑奖励机制与线性衰减平衡采样策略,训练模型的逆向思维能力。实验显示该方法在数学证明等任务上显著提升推理效率与准确率,并避免奖励作弊。

  2. arXiv:Agent 与 MCP 安全 ·

    论文指出 Agent 安全评测中攻击成功率并非单一数值

    论文认为当前 Agent 安全评测中广泛使用的攻击成功率(ASR)并非单一指标,而是由六项设计选择参数化的一族指标,论文之间很少说明且从未保持一致。作者对 2025 年 2 月至 2026 年 9 月间发布到 arXiv 的 259 篇 Agent 安全论文做全文元分析,发现多数未报告方差估计或重复运行:手工编码的 50 篇随机样本中为 58%(95% CI 44-71),对全部 259 篇自动编码为 65.3%;仅 30.9% 披露了足以判断评测是否随机的解码信息,在确认使用 LLM judge 的 64 篇中,29.7% 报告了与人工标注的一致性检验。

  3. arXiv:可解释性 ·

    用稀疏自编码器比较状态空间模型与 Transformer 的潜在概念形成

    研究用稀疏自编码器(SAE)在 1000 万 token 语料上对 Mamba-130m 与 Pythia-70m 做特征级对应分析,未发现两种架构存在系统性表征差异:99.98% 的 Mamba 特征聚集在对齐上界,为通用性假说提供初步特征级支持。仅 0.02% 特征出现分歧,模式与"循环瓶颈主要限制刚性句法解析、而非广泛语义本体"的假设一致。Pythia 的无约束注意力可将格式边缘情况单义分解,Mamba 则被迫把无关句法异常压缩进多义"杂物抽屉"神经元以保留状态容量。

  4. arXiv:可解释性 ·

    TopoLoss 训练让 ViT 因果回路更集中,但未提升神经元单义性

    作者提出用空间局部性训练损失 TopoLoss 作为训练期先验,检验它能否提升标准机制可解释性工具的效果。在 ImageNet-100 上训练 ViT 并扫描多个 TopoLoss 权重 α,用激活修补衡量地形聚类的因果充分性,用拟合同一残差流的稀疏自编码器衡量特征几何。当 α=1.0 时,地形聚类的因果充分性比同规模随机单元集合高 2.79 倍,且该效应随 α 单调增强。SAE 的 L0 稀疏度下降 11%,死特征比例上升 19 倍,但标准神经元级单义性得分没有变化,说明地形压力作用于回路层面,把因果质量集中到空间局部结构,而没有解开单个神经元。

  5. arXiv:对齐与欺骗 ·

    DeceptionAnalyser:基于论证方案与 LLM 的结构化欺骗分析网页工具

    DeceptionAnalyser 是一款浏览器端工具,用十种论证方案建模不同形式的欺骗,通过 LLM 提取前提、再以关键问题驱动评估的两阶段方法分析叙事文本中的欺骗推理。研究未做分类准确率基准,而是用十款当代大语言模型重复运行,测量前提与结论评估的一致性来检验方法可靠性,发现对明确欺骗的方案识别高度稳定,在更模糊的情报风格叙事上则以可解释的方式平缓退化。该方案库定位为标记可疑主张供审查,而非输出欺骗判定。

  6. arXiv:危险能力与安全评测 ·

    Djinnlang:用 LLM 编译器实现无歧义规格的高级编程

    Djinnlang 是一种只写规格、不写可执行代码的高级规格语言,由 LLM 在编译器内填充实现与证明。它要求 LLM 除证明实现满足规格外,还须证明满足该规格的任意其他实现在相同输入下输出相同,即约束关系是确定性的,从而不给程序语义留任何余地。其符号翻译器将规格降为 Dafny 桩与证明义务,由驱动框架调度 LLM 补全,全部经 Dafny 验证器检查;该语言已实现自举,LLM 可依规格实现 Djinnlang 翻译器且重实现能自验证。

  7. arXiv:可解释性 ·

    Circuit-Diff:用事实编辑干预定位归因图中的知识

    作者提出 Circuit-Diff,通过对模型施加低秩事实编辑,把归因图中角色发生变化的特征视为与被编辑知识相关,从而免去手工解读 CLT 未标注节点的步骤。在被考察的编辑上,被标记的节点不只是目标 token 的检测器,还包含围绕新旧对象的历史、地理与关联特征。作者形式化了该方法,测量事实编辑后冻结 CLT 的可靠性,并在最多 24 个 CounterFact 编辑上通过节点修补做因果检验,另附一个案例研究。基于 circuit-tracer 包的开源实现与多提示词聚合、基于规则的超节点标注两个工具一并发布。

9月20日周日
  1. arXiv:对齐与欺骗 ·

    VidMark:面向视频生成模型知识产权保护的高效水印方案

    研究者提出一种生成内嵌水印方案,用于视频生成模型(VGM)的合成视频验证与模型所有权验证两项取证任务。方案包含名为 VidMark 的视频水印网络,结合两级离散小波变换(DWT)分解与全局时序注意力模块(GTAB),并通过解码器引导的微调让 VGM 生成携带模型专属水印的视频。在代表性 VGM 上实验显示,水印提取准确率超过 99%,两项验证任务准确率均达 100%,且对视频级与模型级攻击具有强鲁棒性。

  2. arXiv:对齐与欺骗 ·

    跨架构知识蒸馏如何影响模型可解释性:ResNet-152 到 ResNet-34 的视觉解释迁移研究

    研究将 ResNet-152 教师蒸馏到 ResNet-34 学生,在 ImageNet-1K 上以五种温度与软标签损失权重配置检验知识蒸馏能否迁移空间特征归因。学生 top-1 准确率为 71.6%–74.0%;Grad-CAM 的 RMA 为 7.7%–9.7%、RRA 为 7.3%–10.1%,Guided Grad-CAM 的 RMA 为 16.1%–18.6%、RRA 为 15.9%–21.5%。可解释性对软标签权重远比温度敏感,且所有配置下细粒度归因均低于未蒸馏基线;12 组卷积与 Transformer 跨架构组合显示细粒度空间推理的继承受学生固有结构偏置制约。