Vero：AI 智能体能否构建形式化验证的软件仓库？
Vero: Can AI Agents Build Formally Verified Software Repositories?
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
Vero 探讨 AI 智能体能否构建经过形式化验证的软件仓库。该问题目前尚无定论，原文未给出具体模型、基准分数或可用性信息。
来源：arxiv.org（经 Hacker News） · arxiv.org
Vero: Can AI Agents Build Formally Verified Software Repositories?
本站未展示全文，请前往来源网站阅读。
Vero 探讨 AI 智能体能否构建经过形式化验证的软件仓库。该问题目前尚无定论，原文未给出具体模型、基准分数或可用性信息。
来源：arxiv.org（经 Hacker News） · arxiv.org