Research author

Ziliang Zong

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

Papers by Ziliang Zong

Aug 28, 2026
cs.CL

NL2AGBench: Benchmarking LLM Auto-Formalization for AlphaGeometry

Samuel Xiao, Judy Song, Rory Hu, et al.

Ziliang Zong — AI Research Papers | One9Founders