GeometryZero: Advancing Geometry Solving via Group Contrastive Policy Optimization
DGX agentarXiv:2506.07160v3 Announce Type: replace Abstract: Recent progress in large language models (LLMs) has boosted mathematical reasoning, yet geometry remains challenging where auxiliary construction is