Vero: Can AI Agents Build Formally Verified Software Repositories?

By Zhe Ye · Paper · cs.LG

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 trus