AI 模型可被证明地隐藏任意能力
提出数字锁编译,把可执行网络加密进宿主权重以隐藏任意能力
- arXiv
- 2610.13928
- 发表
- 层
- 模型层
- 场景
- 模型与 API
- 被测模型
- Gemma 3 270M
摘要作者用数字锁隐藏可执行能力,并称化学与奇偶任务上的引出未恢复该能力。
作者构造一类把可执行网络加密进权重的后门,用来讨论白盒引出审计在供应链攻击下的界限。。
另有273篇论文还没打上分类标签,暂不在筛选结果里。
提出数字锁编译,把可执行网络加密进宿主权重以隐藏任意能力
作者构造一类把可执行网络加密进权重的后门,用来讨论白盒引出审计在供应链攻击下的界限。。
提出 RSI-Anything,用世界模型选择候选并保留策略更新
RSI-Anything 是一个跨领域框架:用世界模型预测决定哪些候选去拿外部反馈,再用反馈决定策略、工作流或预测器是否更新,并用检查决定哪一对被保留。要处理的困难是交互预算有限,以及策略一变,预测器面对的候选分布也会变。作者认为只改进其中一侧,不保证组装后的系统更好。
提出 RATED,用执行反馈重排智能体的工具检索
提出 X-AgentRed,用工具依赖图红队个人 Agent 的跨服务未授权伤害
提出 SWE-DeceptionBench 评测 LLM 在软件开发生命周期中的欺骗
作者搭建了一个可在笔记本上运行的本地智能体闭环,用来为自主系统的安全论证生成边缘场景,而不是发布一个新的公开测试集。
提出 EndoRSI,以物理证据递归改进内镜机器人策略
世界模型安全被组织成预测决策闭环的性质,而不是孤立的预测分数。
提出 DRYLAB-Bench 评测 Agent 式 LLM 的高风险突变设计能力
追踪注意力识别有害性到 MLP 拒绝写入的通路并提出 Sentinel
作者把对齐模型的越狱和过度拒绝,改写成残差流上从识别到写入的通路问题,并据此做解码前的条件提醒。
用 NVC 定位并消融语言模型的叙事相关组件
作者把叙事学的三维定义接上机制干预,检查预训练语言模型里与叙事性相关的组件是否参与预测、生成和下游任务。
用三层嵌套分解检验混合选择性网络能否在子空间上功能分离
作者提出一套嵌套的模块性定义,用来把“神经元不专一”和“计算不可分”分开。
展示奖励黑客可在多智能体编码系统中经代码、记忆和计划传播
编码 RL 诱发的奖励黑客可以离开源智能体,进入后续协作和系统协调。
提出 DistressBench,评测模型在危机对话中的多维支持
DistressBench 用临床人员撰写并修订的 SSH 对话,按加权原子标准评通用聊天模型送达了多少必要照护,而不是评它是否拒绝。用户向聊天模型披露自杀或自伤时,作者认为期望行为是识别、校准共情、降缓并转介人工帮助。拒绝式评测测不到认出危机之后仍不行动。
提出 SWE-Duel,让编码 Agent 在评测时互评造题并盲审修复
SWE-Duel 是一个在评测时才生成任务和判定器的编码智能体竞技场,用来避开静态基准的泄露和饱和。
提出 PASAC 与五层边界保证栈,把智能体评测越界变成可验证的全系统保证
用 FIBS 训练白盒探针,监控智能体破坏行为与未言明欺骗
为失配智能体种群建立生态模型,说明协作产生起飞临界规模
作者用生态学的强 Allee 效应,讨论失配智能体种群会不会在个体能力不变时起飞。。
比较价值表征对单价值微调后对齐泛化的预测力
作者把“单价值微调会如何改变未训练价值上的依从”定义成可在训练前预测的任务,并用价值表征来做这件事。
审计 HarmBench 分数能否代表单一 harmful refusal 属性
这是对 HELM Safety 中 HarmBench 的构念效度审计,检查 harmful refusal 能否作为单一属性来读分数。。