@misc{indiciae46e304237090,
  title = {Vero: Can AI Agents Build Formally Verified Software Repositories?},
  author = {Zhe Ye and Hantao Lou and Yuechun Sun and Peiyang Song and Zhengxu Yan and Timothe Kasriel and Qingyang Zhang and Kaiyu Yang and Soonho Kong and Jingxuan He and Dawn Song},
  year = {2026},
  url = {https://arxiv.org/abs/2608.13522},
  note = {Source identifier: 2608.13522}
}