SEVerA：可验证合成的自进化智能体框架

论文提出 SEVerA，一个面向自进化 LLM 智能体的三阶段框架，通过形式化验证保证生成程序满足硬约束。作者将智能体代码生成建模为约束学习问题，并提出 Formally Guarded Generative Models（FGGM），让规划 LLM 用一阶逻辑为每次生成模型调用指定输出契约，调用时以拒绝采样加可验证回退保证任意输入和参数下输出都满足契约。