Value Probes 论文:用目标模型激活的线性探针改进束搜索红队审计
arXiv:2610.38526(Jonathan F. Jao、Andrew Kyle Lampinen)将自动化 LLM 红队审计建模为以对话历史为状态、judge 分数为奖励的 MDP,提出用束搜索替代纯 auditor 探索对话分支,并训练 "Value Probes"——目标模型激活上的线性探针预测折扣未来审计奖励作为启发式。
AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。
arXiv:2610.38526(Jonathan F. Jao、Andrew Kyle Lampinen)将自动化 LLM 红队审计建模为以对话历史为状态、judge 分数为奖励的 MDP,提出用束搜索替代纯 auditor 探索对话分支,并训练 "Value Probes"——目标模型激活上的线性探针预测折扣未来审计奖励作为启发式。
arXiv:2610.36258 提出 SpecGuard,一个免训练、规约驱动的多轮 LLM 越狱运行时监控框架。它用固定的原子命题契约把自然语言观察映射为带证据的事实,用 Linear Temporal Logic(LTL)规约描述被禁止的交互模式,并编译为符号有限自动机增量消费对话轨迹;通过的运行会产出可回放的 witness,标明触发的规约、支撑事实与相关对话轮次。
arXiv:2610.31937 提出 M³,一个自动化黑盒红队框架,把多轮越狱形式化为有限视界 MDP,攻击者 LLM 根据状态 LLM 生成的紧凑状态选择对话动作来探测目标模型。