GeometryZero: Advancing Geometry Solving via Group Contrastive Policy Optimization
arXiv: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 often essential. Prior methods either underperform…