跳到正文

看学术

AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。

分类筛选3展开
共 2 条 · 更新于 07:55
10月27日周二
  1. arXiv38

    视频 RLVR 中的捷径放大现象:基于感知不确定性坍缩的分析与 BSPO 方法

    研究发现视频 RLVR 训练存在捷径放大效应,模型越来越倾向文本先验答案而非视觉证据,表现为感知不确定性坍缩——答案分布持续锐化但视觉证据带来的不确定性下降逐渐减弱。

10月21日周三
  1. arXiv26

    SyLares:面向免编译补丁存在性测试的神经符号推理引擎

    SyLares 将免编译补丁存在性测试重构为神经符号推理,由 LLM 充当神经特征提取器生成符合规范的 SMT-LIB 输入,最终判定交给符号 Z3 求解器。其前作 Lares 将 LLM 与 SMT 求解器作为两条并行决策通道,符号通道仅在 20% 代码案例中成功,其余回退到 LLM 裁决,易产生幻觉且两通道无法互相增强。