arXiv· Logan Murphy·· 9 天前推荐指数41
AssureCode：面向可信 Agentic 编码的结构化论证方法
AssureCode: Structured Justification for Trustworthy Agentic Coding
AI 导读
AssureCode 提出一种工具支持的方法论，用结构化论证（structured argumentation）驱动 AI 辅助软件开发，将自然语言 prompt、形式化规约、开发者意图假设与程序分析证据以可验证的格式关联起来。
来源：arXiv · arxiv.org