代码大模型 / AI 编程

Arbiter: Detecting Interference in LLM Agent System Prompts

Arbiter：检测LLM代理系统提示中的干扰

Tony Mason

机构 * the University of British Columbia（不列颠哥伦比亚大学） ； the Georgia Institute of Technology（佐治亚理工学院） 纠错

专题命中 软件智能体 ：coding agent(abstract)；分类 cs.SE、cs.AI、cs.PL

AI总结 Arbiter通过结合形式评估规则和多模型LLM扫描，检测LLM代理系统提示中的干扰模式，发现152个问题并揭示漏洞类别差异。

LLM2SMT: Building an SMT Solver with Zero Human-Written Code

LLM2SMT：构建一个无需人工编写代码的SMT求解器

Mikoláš Janota, Mirek Olšák

专题命中 软件智能体 ：coding agent(abstract)

AI总结 LLM2SMT通过无需人工编写代码的方式，构建了一个基于DPLL(T)风格的QF_UF SMT求解器，实现了同余闭包算法并生成证明，展示了其在SMT-LIB基准测试中的竞争力。