实体
Compilation
Compilation
PulseAugur coverage of Compilation — every cluster mentioning Compilation across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新理论保证 LLM-验证器系统在形式化方法中收敛
研究人员开发了一个理论框架，以提高将大型语言模型（LLM）与形式化验证工具集成的可靠性。这个基于 LLM-验证器收敛定理的新系统，为多阶段验证管道中的终止提供了可证明的保证。该模型将过程分解为四个阶段：CodeGen、Compilation、InvariantSynth 和 SMTSolving，证明了在每个阶段具有任何非零成功概率的情况下，系统最终将达到已验证状态。通过广泛的试验，推导并经验性地验证了一个精确的延迟界限 $\math…
-
在编译和触发强度中发现新的LLM漏洞
研究人员发现了与部署过程中使用的优化技术相关的大型语言模型（LLM）的新漏洞。一项研究表明，旨在提高效率的编译过程可能被利用来植入隐藏的后门，这些后门在特定的编译条件下触发，绕过标准的安全性检查，并在开源LLM上实现高攻击成功率。另一篇理论论文探讨了，与直觉相反的是，在后门攻击中更强的触发器有时可以在高维环境中帮助防御者，攻击成功率在有限的触发器强度下达到峰值。