标签
SpecFirst 提出将行为规范获取作为基于智能体的程序合成中的首要步骤，将其与探索和编码分离。在 200 个程序实例上进行评估，它在多个模型上显著提高了测试通过率和二进制探索覆盖率。
本文提出了一项混合方法调查和专家访谈研究，探讨基于LLM的验证工具如何帮助组织将欧盟AI法案的义务转化为可测试、可审计的需求和证据工件。