{
  "id": 19435,
  "url": "https://arxiv.org/abs/2608.13522v1",
  "title": "Vero: Can AI Agents Build Formally Verified Software Repositories?",
  "summary": "AI agents are increasingly used for programming, but do not provide any guarantee on the correctness of generated code. Verified code generation, in which an agent produces both an implementation and a machine-checked proof of its specification, offers a stronger path toward trustworthy AI-generated software. Existing benchmarks in this direction either focus on individual functions or only evaluate proof generation with provided implementations. It is still an open question whether agents can m",
  "authors": "Zhe Ye, Hantao Lou, Yuechun Sun, Peiyang Song, Zhengxu Yan, Timothe Kasriel, Qingyang Zhang, Kaiyu Yang, Soonho Kong, Jingxuan He, Dawn Song",
  "category": "research",
  "topics": "agents-autonomy",
  "orgs": null,
  "regions": null,
  "published_at": "2026-08-13T17:41:27.000Z",
  "fetched_at": "2026-08-14T05:10:49.168Z",
  "source_slug": "x-arxiv-cs-ai",
  "source_name": "arXiv cs.AI",
  "source_homepage": "https://arxiv.org/list/cs.AI/recent",
  "ethics_ai_record_url": "https://ethics.ai/record/19435",
  "original_url": "https://arxiv.org/abs/2608.13522v1",
  "evidence_status": "source-only",
  "attribution": "via ethics.ai"
}