Achieving Olympiad-Level Geometry Large Language Model Agent via Complexity Boosting Reinforcement Learning
This work makes the first attempt to build a medalist-level LLM agent for geometry and presents InternGeometry, which solves 44 of 50 IMO geometry problems (2000-2024), exceeding the average gold medalist score, using only 13K training examples, just 0.004% of the data used by AlphaGeometry 2.
Hai-Teng Zhao, Junhao Shen, Yiming Zhang et al.
· 7 citations
· ⚡1