Research author

Zhengxu Yan

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Zhengxu Yan

Aug 13, 2026
cs.LG

Vero: Can AI Agents Build Formally Verified Software Repositories?

Zhe Ye, Hantao Lou, Yuechun Sun, et al.

Zhengxu Yan — AI Research Papers | One9Founders