标签
本文立场论文反驳了自然语言可以完全取代形式语言（如编程语言）的观点，提出了一个基于信息论的特定性框架，并证明了一个交叉定理，表明形式语言在高特定性任务中更具优势。
ExecuGraph是一个用于后端代码合成的多智能体框架，利用基于执行的验证和六个专用智能体来提高可靠性，尤其在更强模型（如DeepSeek-Coder-V2-Lite）上表现出增益。
KForge是一个跨平台框架，利用两个协作的基于LLM的智能体，自动生成和优化适用于多种AI加速器的高性能计算内核，在NVIDIA B200和Intel Arc B580硬件上实现了显著的加速效果。
本文提出了VFEAgent，一种通过将视觉语言模型与验证优先的代码合成框架相结合来自动化有限元分析的多智能体系统，实现了从图像和问题描述到端到端模拟。
介绍原子分解与重组（ADR），一种通过分解和重组原子元素来生成新颖且具有挑战性的可验证代码任务的框架，从而为大型语言模型实现可扩展的基于可验证奖励的强化学习。
AutoRPA是一个框架，能够自动将ReAct风格LLM代理的决策逻辑提炼为鲁棒且token高效的RPA函数，用于重复的GUI任务，将token使用量减少82%-96%。
OpenAI 提出了一套危害分析框架，用于评估 Codex 等代码合成 LLM 相关的安全风险，通过创新的代码生成能力评估方法论来审视技术、社会、政治和经济影响。