ResearcharXivNEW

Vero: Can AI Agents Build Formally Verified Software Repositories?

Ye 2026-08-13

Zhe YeHantao LouYuechun Sun

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 evalua

Read on arXiv

Data aggregated and editorially reviewed by TrendMing.

Key Contributions

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 evalua

Research Themes

AIResearch

Back to AI Research