Vero: Can AI Agents Build Formally Verified Software Repositories? (arxiv.org)

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 ...