AssureCode：为可信智能体编程提供结构化论证依据

AssureCode 提出用结构化论证方法支撑 AI 辅助软件开发，通过一种论证理由语言把自然语言提示词、形式化规范、开发者意图假设与程序分析证据关联成可验证格式。该工具支持在智能体代码生成过程中同步构建这类论证，论文对其实现进行了实证分析，考察其对 AI 生成代码正确性提供有据保证的能力。