Research author

Samuel Xiao

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

Papers by Samuel Xiao

Aug 28, 2026
cs.CL

NL2AGBench: Benchmarking LLM Auto-Formalization for AlphaGeometry

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

Samuel Xiao — AI Research Papers | One9Founders