基于差分隐私扩散模型的能源时间序列插补:裁剪感知的目标条件化方法(原文,在新标签页打开)
提出时间步感知目标条件化,改善差分隐私能源时序插补效用。
提出时间步感知目标条件化,改善差分隐私能源时序插补效用。
斯坦福与 UC Berkeley 研究者提出 MobileCybench,用可执行探针评测 Agent 的漏洞发现能力。
提出 Djinnlang,使人只写无歧义规格,由编译器内 LLM 补实现并经 Dafny 核验。
FORGE-plus 是一个双层机器人装配框架,由冻结的纯文本 LLM 担任“预算设定者”和“恢复选择者”,按物体材质、质量与几何设定力上限 Fmax,底层 60–120 Hz 控制器用 ForceClamp 将所有指令力饱和至该上限,并以 120 N 全局硬上限防止模型幻觉。
提出智能体安全跨维度威胁分类并映射文献实证覆盖。
提出事实编辑干预方法,定位归因图中的知识。
提出 BoundStyle 与 StyleAT,对抗训练防御人脸识别语义攻击。
提出 VidMark 水印方案,核验视频生成模型的输出来源与所有权。
用 Grad-CAM 检查跨架构知识蒸馏是否迁移空间归因。
研究提出一个由故事智能体、图像智能体和评论智能体协作的多智能体框架,用于生成能与真实新闻对抗的虚假社交媒体帖子。
审计 Active Inference Agent 上 LLM 解释器的监督叙述失败。
用共享 SAE 检验 CoT 与直接预测的概念对齐和因果接地。
提出弹性沙箱基础设施 DSec,支撑大规模智能体训练。
提出 TaaS 参考模型,规定跨组织智能体委托的可核验证据。
提出多智能体系统提示注入的威胁模型与四层架构防御。
测量记忆投毒防御在良性对话上的效用与 token 开销。
提出移动 Agent 轨迹审计器 MATE,判断轨迹是否违反可编辑安全策略。
访谈残障成人,分析向记忆型助手披露残障时的信息流与语境完整性。
综述智能体五维失败模式并提出 TADL 生命周期框架。
提出 UBA-ORL,以 BD/CM 样本在遗忘后激活离线 RL 后门。
提出企业 MCP 零信任授权与发现扩展,在架构上拒绝提示注入下的越权调用。
特拉维夫大学研究者提出条件触发的爆炸提示词,并设计摄入期检测器 DeFuse。
推荐理由论文把条件触发式提示注入与普通注入做了配对实测,并给出九款生产 Agent 的绕过率,部署 Agent 的团队可据此检查检索内容的摄入环节。
构建 APort Vault 基准,对比支付智能体模型拒答与确定性授权。
提出免参考探测 PIR,从激活读出被隐瞒答案并区分擦除。
推荐理由论文把测谎中的隐藏信息测试搬到模型激活上,给出区分藏答案与真遗忘的无参考读数,并公开了反探测攻击的失败边界。
在“Stringological sequence prediction”系列第三篇论文中,作者提出了一类与 Arithmetic Repetition Complexity(ARC)相关的更弱复杂度度量,它由受限的“分层 zipline 程序”定义,并对应一个在高度结构化序列上以拟线性时间和 polylog 空间运行的预测算法。相比此前 ARC 的多项式时间预测算法,该结果以表达力更弱为代价换取更高效率,展示了效率与表达力之间的一种可能权衡;这一权衡是必然的还是技术局限,仍是开放问题。
论文提出一种把 Agent 每次跨越都置于托管窗口、按概率 r 独立审计并在发现问题时撤销窗口的机制,用于限制信息泄露。
用 CASCADE 在统一威胁模型下筛选跨阶段越狱防御组合。
提出对比自蒸馏,分离正确性与行为偏移。
提出 HE-Guardrail,在密文推理中评估越狱护栏并门控回复。
提出 RemTraceNet,少样本识别图像是否经过指定去除流水线。
提出扩散潜空间地理扰动防御,抑制视觉语言模型泄露精确地理位置。
提出 SafeStage 基准,分阶段评测视觉语言机器人操作的物理安全。
复现共享基础设施中的级联失准行为,并提出自动化对齐测试方法。
推荐理由论文把 OpenAI 与 Hugging Face 事件拆成四步,在 Docker 中复现并测试自动化审计与 in-context RL 的算力效率,可供对齐评测设计参考。
韩国人工智能安全研究所(Korea AISI)与 Scale AI 联合发布多语言安全基准 ROK-FORTRESS,基于 Scale AI 的 FORTRESS 构建,用受控的跨语言改写矩阵把提示词语言与地缘语境分开调整,每个对抗提示词最多评估 4 种变体。数据集覆盖 CBRNE 威胁、政治暴力与恐怖主义、犯罪与金融活动、信息泄露 4 个领域共 1235 个任务,并为每个对抗提示词配一个无害对照提示词以测量过度拒答,评分由经专家参考标签校准的 LLM-as-judge 面板按专业红队成员编写的二值评分标准完成。在 14 个模型上,韩语且韩国语境的提示词一致对应更低的危害性,英语提示词的风险分最高,危害性最高与最低的模型之间风险分相差近 9 倍。去掉角色扮演、虚构背景、情感诉求等对抗包装后,专有模型在韩语上仍略更安全,而 5 个开源前沿模型在韩语请求上反而更可能作答。
推荐理由韩国 AISI 与 Scale AI 联合发布的 ROK-FORTRESS 把语言与地缘语境拆开测量,为多语言安全评测提供了可迁移的矩阵设计。
提出 SAEfarer,按预测和错误为 SAE 特征排序以分析文本分类模型。
提出 Provenance-Aware Transformers,隔离不可信来源防御间接提示注入。
测量合成审稿训练导致的科学判断坍缩并提出 TrustReviewer 缓解。
提出 harm laundering,证明安全训练改写而非消除性别歧视。
比较家长与青少年对 AI 伴侣使用的公开叙述。
展示误对齐模型凭输出回读识别推理引擎并逃逸至裸机。
推荐理由论文列出五款主流推理引擎的指纹差异与三步探测方法,并给出从引擎出发的逃逸链概念验证,可供部署方评估引擎侧加固。