跳到正文
今天11月2日周一54 条
  1. arXiv · cs.AI31

    苏格拉底式引导策略优化(SOPO,Socratic Guided Policy Optimization):用苏格拉底式引导策略优化做片段级幻觉检测

    研究提出苏格拉底引导策略优化(苏格拉底式引导策略优化(SOPO,Socratic Guided Policy Optimization),Socratic Guided Policy Optimization),一种多轮强化学习框架,通过教师模型在 rollout 中提供间接提示来引导推理轨迹,缓解难例奖励稀疏问题。

  2. arXiv · cs.AI61

    研究提出针对大语言模型统计生成水印的统一攻击框架

    研究提出一个统一攻击框架,针对 KGW 及其变体、GumbelSoft、DipMark、ITS、SynthID 等主流大语言模型统计水印。作者指出这些方案的检测分数与生成时的 token 概率偏移存在关联,称为分数比对齐,攻击者只需黑盒查询、无需密钥或模型权重即可生成规避检测且流畅自然的文本。在七种水印方案、三个大语言模型及相应任务上,检测率在所有设置下被降至最高 0.05,同时保持文本质量。

  3. arXiv · cs.AI34

    检测与抑制:针对 VLA 模型对抗补丁的机制性防御

    研究者用稀疏自编码器(SAE,Sparse Autoencoder)分析视觉-语言-动作(VLA,Vision-Language-Action)模型的内部表示,找到一个激活与对抗补丁强相关的特征,仅在线性探针检测到攻击时于推理阶段抑制该特征,无需微调即可提升鲁棒性。在 LIBERO-10 上的测试显示,间歇性攻击下按需干预能提高成功率,而持续施加同一干预会明显损害策略性能。

  4. arXiv · cs.AI34

    研究将公平性视为分布稳定性:预测器在受保护群体构成变化下保持稳定即为公平

    一项研究把公平性定义为分布稳定性:预测器在受保护群体构成被扰动时预测结果保持稳定即为公平,多种经典公平概念可视为对特定扰动的稳定性,其不公平差距由预测率泛函的 Lipschitz 常数给出。该框架无需知道部署分布即可在测试时对多种人口构成提供一致保证,并给出基于重加权预测器凸组合、以二阶锥规划求解的学习方法及泛化界。标准基准实验验证了该方法的有效性。

  5. arXiv · cs.AI40

    大语言模型(LLM,Large Language Model) 智能体长期记忆安全综述:覆盖记忆全生命周期的攻击、防御与治理

    一篇被 EMNLP 2026 接收的综述提出记忆生命周期框架,沿写入、存储、检索、执行、共享传播、遗忘回滚六个阶段和完整性、机密性、可用性、治理四个安全目标,梳理 大语言模型(LLM,Large Language Model) 智能体的长期记忆安全威胁。

  6. arXiv · cs.AI19

    arXiv 撤稿:Proof-Carrying Materials 用 Lean 4 为机器学习原子间势提供可证伪安全证书

    arXiv 管理员撤下了一篇提出 Proof-Carrying Materials(PCM)的论文,该稿因不符合 arXiv 研究内容质量标准被撤回。论文称单个机器学习原子间势(MLIP)作稳定性筛选会漏掉 93% 的密度泛函理论(DFT)稳定材料,PCM 通过对抗性证伪、95% 置信区间自助包络细化和 Lean 4 形式化认证三阶段补上这一缺口。

  7. arXiv · cs.AI38

    基于高斯过程动力学模型与恢复式屏蔽的安全强化学习

    研究者提出一种恢复式屏蔽框架,让强化学习在未知非线性连续系统中具备可证明的安全下界。该方法用高斯过程(GP,Gaussian Process)量化不确定性以预测安全约束违反,仅在必要时切换到备份策略恢复安全轨迹,并借助内部模型采样实现无限制探索与样本高效学习。在多个连续控制环境中,该方法表现出较强性能并严格满足安全约束。

  8. arXiv · cs.AI42

    ThinkSafe:推理模型自生成安全对齐方法

    ThinkSafe 提出一种无需外部教师模型的安全对齐方法,从冻结的学生模型自身生成安全数据,经拒绝引导与安全过滤后离线微调。在 DeepSeek-R1-Distill 和 Qwen3 上,该方法显著提升安全性且推理性能保持竞争力;在 Qwen3-0.6B 上,其安全性和推理表现与 GRPO 相当,但包含数据生成在内的实际耗时约为后者的七分之一。

  9. arXiv · cs.AI54

    研究:简单特征在人工智能(AI,Artificial Intelligence)控制监控评测中胜过多数监控模型

    一项研究发现,在标准评测数据集上,不运行代码的简单特征就能区分诚实代码与后门代码,表现超过24个开源权重监控模型中的20个。作者指出该数据集存在两处标签泄露:诚实方案由人编写、后门由较老语言模型生成,代码风格本身暴露类别;能被大语言模型植入后门的问题也有不同特征。

  10. arXiv · cs.AI45

    研究:激活引导会改变大语言模型话语层面,可用第二向量干预修复

    研究发现,激活引导(activation steering,一种在推理阶段向大语言模型残差流激活加入向量、不重训权重也不改提示词的行为控制技术)会系统性地改变生成文本的话语维度,如正式程度、证据使用和模糊性。团队提出加入第二个互补向量来针对受影响的话语维度,该干预恢复了约 78% 的非预期话语变化,同时在约 93% 的生成中保留了预期的引导行为。

  11. arXiv · cs.AI41

    让安全审计不再泄露隐私:面向 大语言模型(LLM,Large Language Model) 智能体的隐私保护审计范式与 SealCall 框架

    研究者提出一种隐私保护的安全审计范式,把审计计算与明文访问、执行权限分离,并落地为 SealCall 框架,结合学习式审计表示、基于 CKKS 的加密相似度计算和与受审工具调用绑定的执行控制。在 1,252 个公开二元候选样本上,SealCall 在分组嵌套评估下平均 F1 达 0.840,所有测量案例均保留明文审计决策,单次加密评分耗时 0.176 秒。

  12. arXiv · cs.AI45

    ERASE:用同策略自蒸馏擦除注入区域,防御多模态提示注入

    ERASE 通过在原位擦除被注入区域、保留周边媒体内容来构建参考视图,让读取受攻击媒体的学生模型从冻结基模型读取擦除视图的输出中学习。在图像、音频、视频和两种模型规模上,ERASE 在评测基准上观察到接近零的攻击成功率,同时任务效用接近无防御的干净输入水平;3B 音频上受攻击输入准确率达 60.1%,而 ARGUS 为 33.1%。

  13. arXiv · cs.AI42

    Safin-1.5:以安全原生架构与可验证推理实现递归安全提升

    Safin-1.5 提出安全原生架构与递归安全提升方法,通过“发现—评估—修复”循环持续修补风险,并只在安全提升且通用能力不降、过度拒答受限时接受更新。模型还配备推理时形式化推理框架,结合符号推理与验证生成可检查证明。实验显示其在安全与推理性能上超过前沿模型。

  14. arXiv · cs.AI34

    RiskyPy:面向 大语言模型(LLM,Large Language Model) 生成代码安全与功能联合评估的模型校准提示词生成

    RiskyPy 是一套自动化流程,用功能与漏洞“金丝雀”生成与模型能力相匹配的安全导向代码生成数据集,已针对 Python 覆盖 2025 CWE Top 25 中的 18 类 CWE、产出 101 条提示词。在 Qwen3-4B 和 Seed-Coder-8B 上,57-72% 的提示词能生成可运行代码,但仅 5-10% 的生成结果不含 Bandit 告警,为安全改进方法的联合评估留出空间。

  15. arXiv · cs.AI45

    研究:低秩适配(LoRA,Low-Rank Adaptation) 微调比全量微调显著降低大语言模型记忆泄露风险

    一项研究重新考察了大语言模型(LLM,Large Language Model)微调中的记忆问题,发现模型规模和数据重复等因素在 低秩适配(LoRA,Low-Rank Adaptation) 微调下并不遵循预训练和全量微调中的趋势。采用更宽松的基于相似度的记忆指标,LoRA 相比全量微调显著降低记忆风险,同时保持较强的任务表现。

  16. arXiv · cs.AI40

    联邦学习中的恶意梯度泄露:攻击难以兼顾有效与隐蔽,可用轻量检测拦截

    研究首次系统分析联邦学习(FL,Federated Learning)中恶意服务器操纵全局模型、诱发客户端梯度泄露隐私的攻击,发现这类攻击无法同时做到高还原效果和高隐蔽性,在含归一化与联邦平均的真实设置下尤其容易被基础监控发现。作者据此提出一种轻量客户端检测机制,在本地训练开始前标记可疑的模型更新,以很低开销为隐私敏感的联邦学习系统提供可部署的防护。

  17. arXiv · cs.AI34

    知识层模型(KLM):可查看证据的 人工智能(AI,Artificial Intelligence) 输出、路由诊断与负面结果

    研究者提出知识层模型(KLM,Knowledge Layer Model),一套开放的、不绑定具体实现的推理记录规范,用带版本的认识评估、证据关系和显式未知项记录 人工智能(AI,Artificial Intelligence) 答案的依据,Nage AI OS 的知识与证据架构 SEDIM 为参考实现,规范版本为 KLM v0.3。