NL2AGBench: Benchmarking LLM Auto-Formalization for AlphaGeometry
DGX agentarXiv:2608.28481v1 Announce Type: new Abstract: Recent advances in large language models (LLMs) have demonstrated strong capabilities in natural language understanding and mathematical reasoning. Howe