Research author

Dawn Song

4 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Dawn Song

Aug 13, 2026
cs.LG

Vero: Can AI Agents Build Formally Verified Software Repositories?

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

Jul 15, 2026
cs.PL

Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code

Niels Mündler-Sasahara, Hristo Venev, Dawn Song, et al.

6
Jul 13, 2026
cs.CV

Technical Report on the CVPR 2026@AdvML Workshop Challenge

Tianyuan Zhang, Zonglei Jing, Jiangfan Liu, et al.

Jun 11, 2026
cs.AI

AgentBeats: Agentifying Agent Assessment for Openness, Standardization, and Reproducibility

Xiaoyuan Liu, Jianhong Tu, Yuqi Chen, et al.

Dawn Song — AI Research Papers | One9Founders