agent-based-program-synthesis

#agent-based-program-synthesis

SpecFirst：将行为规范获取作为基于智能体的从头程序合成中的首要步骤

Hugging Face Daily Papers ↗ · 2026-07-29 缓存

SpecFirst 提出将行为规范获取作为基于智能体的程序合成中的首要步骤，将其与探索和编码分离。在 200 个程序实例上进行评估，它在多个模型上显著提高了测试通过率和二进制探索覆盖率。

0 人收藏 0 人点赞