Back to papers
August 28, 2026cs.CLcs.AI

NL2AGBench: Benchmarking LLM Auto-Formalization for AlphaGeometry

Samuel Xiao, Judy Song, Rory Hu, Ziliang Zong
Read on arXivDownload PDF
Categories

cs.CL, cs.AI