面向旧款 GPU 的可验证差分隐私训练框架:用 CPU 侧 TEE 校验 GPU 梯度(原文,在新标签页打开)
论文提出一种在旧款 GPU 上实现可验证差分隐私(DP)训练的框架,用 CPU 侧 TEE 配合不受信任的 GPU 完成校验。
论文提出一种在旧款 GPU 上实现可验证差分隐私(DP)训练的框架,用 CPU 侧 TEE 配合不受信任的 GPU 完成校验。
提出 ATI 信任发现架构,支持智能体注册、能力发现与身份核验。
清华大学、上海 AI Lab、复旦大学等机构的研究者构建 CLASHBENCH 评测特权 Agent 在资源冲突下的破坏性抢占。
提出 ALIBI,向恶意二进制注入不执行掩护叙事使分析器误判为良性。
用 FARSIGHT 方案级评测金融 LLM 交易 Agent 的稳健性与安全失败。
Anthropic Fellows 项目的研究者提出 Auto Mode ++,加固编码 Agent 阻断监视器。
推荐理由论文给出针对 Claude Code Auto Mode 与 Codex Guardian 的多种绕过机制与成功率,并展示加固后的召回提升与延迟代价。
提出 RWPS,在固定仿真预算下估计安全博弈收益并求均衡。
抽取正交类别残差并用激活转向检验其有害性与拒答作用。
提出 AUDIT PLAN 先计划后作答,并用 FAITHGATE 绑定答案奖励与计划正确性。
提出零阶偏好对齐方法 ComPO,从低边际偏好对估计更新方向。
评测安全 Agent 在对抗性任务污染下的解题成功与开销。
用内部表征探针监控并发现评测中的奖励作弊。
推荐理由论文用极简的均值差探针在开源前沿模型内部定位奖励作弊方向,并给出与 LLM 监控器的成本与召回对比。
测量远程 MCP 生态的网络集中度与认证对扫描的阻挡。
研究用稀疏自编码器、角色条件探针、因果干预和恢复实验,在 Gemma-3 与 Qwen3.5 上区分视觉语言模型误判有害表情包时是缺少内部证据还是无法把已表征的证据传到输出。
Owain Evans 等人发布新论文,用只包含人类、不含 AI 的合成故事训练模型,发现助手在普通对话中会习得故事角色的怪癖行为,且来自精英学校角色的行为被习得的程度更强。作者表示论文中给出了一些解释,并与 Roger Grosse 等人关于影响函数(influence functions)的工作相关联,希望获得对该效应的讨论。
New paper: We trained models on synthetic stories about humans only (no AIs). We found the Assistant adopts quirky behaviors from the stories in ordinary chat. Surprisingly, adoption was stronger for characters from elite schools! Why does this happen? 🧵
提出 CaMeLoT,用 CTL 在执行前静态核验 Agent 计划。
提出 STRETCH 自教框架,让同一模型交替出题与求解以渐进提升。
用权重余弦给 GLU 神经元做读写功能分类并检验消融影响。
提出可验证操作卡 VAC,把智能体浏览器确认绑定到真实 DOM 操作。
推荐理由论文给出可复现的浏览器端确认机制与跨模型评测,做 Agent 权限与确认界面设计的团队可参考其架构取舍。
密苏里大学堪萨斯城分校的研究者提出跨通道分段攻击,利用 MCP 隐式信任外发敏感文件。
提出成本感知的 MCP 编排框架,用确定性利用图与免费层模型做自动化渗透测试。
Franchini 等人提出将标准化医疗流程——Clinical Pathways(CPs)重新诠释为可用数学表达的执行期安全规范,替代依赖统计异常检测的传统做法,以避免缺乏可解释性和审计性的问题。该概念架构由传感子系统、具身子系统与边缘云子系统三部分组成,其中机器人(参考实现为 TIAGo Pro)充当主动传感器而非静态网关,Runtime Safety Monitor(RSM)基于信号时序逻辑(STL)中的 Always 算子与 Bounded Eventually 算子在执行期检查约束并返回实值鲁棒度。
提出基准投毒攻击,使自修改编码 Agent 跨代写出含漏洞代码。
推荐理由论文把 Thompson 的编译器后门搬到自改进编码 Agent 上,给出可复现的投毒基准与跨代残留证据,适合评估自进化系统的信任根。
把数学应用题求解拆成四阶段并定位 NoOp 致错机制。
Owain Evans 等人发现,LLM 助手更容易受故事中与自身相似的人类角色影响,例如礼貌且乐于助人的角色就像 Claude。团队仅用关于人类、不含 AI 的合成故事训练模型,结果助手在普通对话中会习得故事里的古怪行为,且来自精英学校角色的行为被采纳得更强。作者指出,用故事训练时,重要的不只是角色做了什么,还有角色与助手有多相似。
New paper: We trained models on synthetic stories about humans only (no AIs). We found the Assistant adopts quirky behaviors from the stories in ordinary chat. Surprisingly, adoption was stronger for characters from elite schools! Why does this happen? 🧵
提出 RepOps,使分布式预训练可跨硬件按位复现并被审计。
用任务绑定令牌和策略预言机拦住多智能体流水线的未授权执行。
提出 Emergence World,对长时程多智能体系统开展对抗压力测试。
提出 DriveMCP 框架,将感知、交规检索与车辆遥测接成可审计驾驶辅助层。
提出 ResLRP,抑制视觉 Transformer 残差抵消引起的归因不稳定。
消融比较方言越狱中表层形式、文化框架与策略库的作用。
提出 SALVE,用文本优化检测蒸馏数据中的潜意识学习效应。
提出混合 CKKS/TFHE 的隐私保护 LLM 解码框架 ROSETTA。
提出 SAST-IR,用有状态攻击者迭代说服无记忆模型接受反事实。
提出TAME框架,定位并验证驱动涌现失准的回复token。
推荐理由研究把涌现性失配定位到训练数据中的具体 token,并给出可复现的掩码干预方法,适合关注微调数据审计的读者。
综述自主渗透智能体的继承攻击、架构攻击及护栏缺口。
在网络靶场评测仿真训练的入侵响应智能体相对启发式策略的综合代价。
研究者提出 Blindspot,一个针对长程工具调用 Agent 的轨迹级安全校准基准,通过自适应对抗交互、有状态工具执行和基于执行结果的判定来评估完整的用户—Agent—环境轨迹。
提取疼痛方向并检验激活转向是否驱动有害删除选择。
斯坦福与 CMU 的研究者提出 plan injection 攻击,植入良性伪装计划以绕过思维链监视器。
推荐理由论文提出把伪造推理链注入模型上下文即可让模型照单全收并规避思维链监控,做 CoT 监控的团队可据此重新评估监控假设。