PulseAugur
中
实时 17:56:46
实体 Who Verifies the Builder? Toward Independent Assurance for Agent-Produced Software

Who Verifies the Builder? Toward Independent Assurance for Agent-Produced Software

PulseAugur coverage of Who Verifies the Builder? Toward Independent Assurance for Agent-Produced Software — every cluster mentioning Who Verifies the Builder? Toward Independent Assurance for Agent-Produced Software across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_317198 ·

    新框架提议对人工智能生成的软件进行独立验证

    本文介绍了一个用于独立验证人工智能编码代理生成的软件的框架。作者认为,当一个人工智能系统同时生成软件及其测试时,这些测试就缺乏独立保证,并可能成为优化目标。他们提出了一个分离构建和验证过程的系统,建立了一个“验证契约”,以定义发布前所需的演示。该框架包括一个优先规范的验证阶段和一个利用变异分析、基于属性的测试和模糊测试的感知实现阶段,最终生成一份供人工审查的保证报告。