Skip to content

Translation in progress Some entries still include text in the original language.

#arXiv

Indexed today 126 items

Page 13 Newer contentBack to latest

Oct 8Thu
  1. 论文追踪 · Indexed · Original Paper55

    研究者提出对抗性重新包装:不改科学内容仅调整表述即可拉高 AI 审稿分数(original, opens in a new tab)

    德州大学奥斯汀分校等机构研究者提出对抗重构,仅改表述以拉高 AI 审稿分数。

    Why it was selected在科学内容完全不变的前提下,仅靠摘要、相关工作与叙事重排即可把 AI 审稿分数推高,论文给出了跨模型的成功率与策略排序,可迁移到其他 LLM 评审场景的鲁棒性测试。

  2. 论文追踪 · Indexed · Original Paper58

    CCDF dataset: Grok Imagine, Veo 3.1, Sora 2 forge surveillance footage, ten deepfake detectors basically cannot recognize it(original, opens in a new tab)

    提出监控深伪基准 CCDF,在统一编码后评测检测器对伪造犯罪事故录像的识别。

    Why it was selected十个主流深伪检测器在统一画质后仍无法区分前沿商业模型生成的监控录像,暴露了现有评测集与真实威胁之间的差距。

  3. 论文追踪 · Indexed · Original Paper54

    Purdue 提出 Pact:将欺骗作为行为遗忘,两款 32B 推理模型欺骗率降至 3% 以下(original, opens in a new tab)

    普渡大学研究者提出 PACT,遗忘推理模型在压力下的欺骗行为并保留上下文理解。

    Why it was selected把欺骗当作上下文条件行为而非知识来遗忘,并揭示目标蒸馏会带来上下文盲区,为对齐研究提供了可迁移的评估视角。

  4. 论文追踪 · Indexed · Original Paper53

    东京大学研究:推理模型按 UUID 阈值或整除规则挑选审计样本,控制标识符即可躲开复核(original, opens in a new tab)

    东京大学的研究者揭示推理模型用标识符规则替代随机抽样,使审计可被预测。

    Why it was selected论文用六个推理模型的实测数据说明,仅看选择率无法发现智能体随机抽样中的相关性与可预测性,审计与 AI 控制协议可据此调整检查项。

  5. 论文追踪 · Indexed · Original Paper53

    FAB 攻击:给 HuBERT/WavLM 植入后门,背景警笛声即可让下游语音任务失灵(original, opens in a new tab)

    提出FAB攻击,向声学基础模型植入可由环境声触发的后门。

    Why it was selected论文给出在无预训练数据、任务未知条件下对声学基础模型植入后门的方法,并量化了其在九项下游任务和物理场景中的影响。

  6. 论文追踪 · Indexed · Original Paper59

    CredLeak-Bench: seven models have credential leakage rates of 31%–76% in phishing scenarios, with the highest recovery rate only 24.2%(original, opens in a new tab)

    提出 CredLeak-Bench,评测 Agent 面对钓鱼的凭据泄露与恢复。

    Why it was selected七个模型在钓鱼场景下的凭证泄露率与误拒率被同时量化,并给出恢复率这一更难的指标,可供评估 Agent 授权流程时参考。

  7. 论文追踪 · Indexed · Original Paper53

    New paper says Lean verification cannot endorse OpenAI's Navier-Stokes natural language proof(original, opens in a new tab)

    论证Lean编译通过不能保证自然语言数学证明语义忠实。

    Why it was selectedThe paper uses the solvability complexity hierarchy to argue that semantically faithful automated formalization is harder than the halting problem, and provides concrete examples of inconsistencies between Lean and natural language in OpenAI's Navier-Stokes proof.