Poster · Atlanta
Verify0: Can AI Agents Build Formally Verified Software Repositories?
- When
- Thu 10 Dec 2026, 16:30–19:30 EST
- Where
- Hall C1, Georgia World Congress Center
- Session
- Atlanta Poster Session 4
- Authors
- Zhe Ye, Hantao Lou, Yuechun Sun, Peiyang Song, Zhengxu Yan, Timothe Kasriel, Qingyang Zhang, Kaiyu Yang, Soonho Kong, Jingxuan He, Dawn Song
- Organisations
- University of California, Berkeley, University of Science and Technology of China, Carnegie Mellon University, Stanford University, University of Michigan, Meta, Amazon, NVIDIA
- QRS classification
- Agentic AI