TY  - RPRT
TI  - NL2AGBench: Benchmarking LLM Auto-Formalization for AlphaGeometry
AU  - Samuel Xiao
AU  - Judy Song
AU  - Rory Hu
AU  - Ziliang Zong
PY  - 2026
UR  - https://arxiv.org/abs/2608.28481
ID  - 2608.28481
ER  -