11:03
2026-08-16
arxiv.org
artificial-intelligence
Vero: Can AI Agents Build Formally Verified Software Repositories?
Researchers introduced Vero, the first benchmark to evaluate joint implementation and proof synthesis at the repository level, containing 43 multi-module instances from real-world repositories in Pyth…