Vero: Can AI Agents Build Formally Verified Software Repositories?
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 make coherent implementation and proof choices across real multi-module codebases. To bridge this gap
Lineage graph
Paper → model → repo connections mined from source citations (Tier-1 exact match).
Why these links exist
Every edge carries a method, confidence, and the source snippet that justified it — so bad links are debuggable.
- PossiblePossibly related (embedding) · 65%Mistral Open-Sources AI Model That Can Verify Code and Mathematical Proofs - ProPakistani →
- FuzzySimilar title/name (fuzzy) · 87%NirDiamant/GenAI_Agents →
“Fuzzy title match (0.94): “Vero: Can AI Agents Build Formally Verified Software Reposit” ≈ “NirDiamant/GenAI_Agents””
- FuzzySimilar title/name (fuzzy) · 84%Unity-Technologies/ml-agents →
“Fuzzy title match (0.92): “Vero: Can AI Agents Build Formally Verified Software Reposit” ≈ “Unity-Technologies/ml-agents””
- FuzzyOverlapping authors or contributors · 62%Kong/kong →
“Shared author/contributor keys: kong”
- FuzzyOverlapping authors or contributors · 62%google-research/google-research →
“Shared author/contributor keys: sun”
- FuzzySimilar title/name (fuzzy) · 59%datawhalechina/hello-agents →
“Fuzzy title match (0.73): “Vero: Can AI Agents Build Formally Verified Software Reposit” ≈ “datawhalechina/hello-agents””
- LinkedLinked via arxiv author · 85%Zhe Ye →
“Vero: Can AI Agents Build Formally Verified Software Repositories?”
- LinkedLinked via arxiv author · 85%Hantao Lou →
“Vero: Can AI Agents Build Formally Verified Software Repositories?”