Back to papers
August 13, 2026cs.LGcs.AIcs.LOcs.PLcs.SE
Vero: Can AI Agents Build Formally Verified Software Repositories?
Zhe Ye, Hantao Lou, Yuechun Sun, Peiyang Song, Zhengxu Yan, Timothe Kasriel, Qingyang Zhang, Kaiyu Yang, Soonho Kong, Jingxuan He, Dawn Song
Categories
cs.LG, cs.AI, cs.LO, cs.PL, cs.SE