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