AssureCode：面向可信 Agentic 编码的结构化论证方法
AssureCode 提出一种工具支持的方法论，用结构化论证（structured argumentation）驱动 AI 辅助软件开发，将自然语言 prompt、形式化规约、开发者意图假设与程序分析证据以可验证的格式关联起来。
看学术
AI 安全方向的论文、会议、比赛、教程与资料，按内容形态筛选，支持搜索。
分类筛选3展开收起
攻击手段
防御体系
模型内生风险
系统与组件
应用场景
评测与治理
可解释与机制
共 2 条 · 更新于 09:19
arXiv推荐指数4141
arXiv推荐指数5858 SPLASH：用对比审计压力检测并定位生成代码中的安全幻觉
作者提出 SPLASH 方法，通过对比生成程序在安全审查与风格审查下的 teacher-forced 对数概率得到 audit pressure，用于在模型候选程序中挑选安全代码并定位漏洞语句，无需模型训练、CWE 专用规则或生成模型内部访问。