Vero: Can AI Agents Build Formally Verified Software Repositories?
DGX agentarXiv:2608.13522v1 Announce Type: cross Abstract: AI agents are increasingly used for programming, but do not provide any guarantee on the correctness of generated code. Verified code generation, in w