作者位次 #10/11NeurIPS 2026Poster
Verify0: 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