Vero: Can AI Agents Build Formally Verified Software Repositories? (arxiv.org)
Vero: Can AI agents build formally verified software repositories? ~ Zhe Ye et als. arxiv.org/abs/2608.13522
#formalverification
Vero: Can AI agents build formally verified software repositories? ~ Zhe Ye et als. arxiv.org/abs/2608.13522