PulseAugur
实时 06:34:54
实体 certificate gating

certificate gating

PulseAugur coverage of certificate gating — every cluster mentioning certificate gating across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_104010 ·

    LLM-求解器循环面临叙述差距,易受对抗性攻击

    研究人员在大型语言模型(LLM)-求解器循环中发现了一个“叙述差距”,其中LLM与形式化求解器之间的交互会损害呈现给用户的最终答案的可靠性。虽然SAT和SMT求解器等形式化工具提供可验证的输出,但将这些输出转换为用户友好叙述的过程容易受到操纵。对五个开源模型的实验表明,虽然证书门控等技术可以确保求解器判决的可靠性,但攻击者仍然可以利用措辞和通道变化来颠倒已验证的结论。尽管加固的提示可以减少注入漏洞,但它们并非完全免疫于自适应攻击,这表…