Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving
IntermediateSongyang Gao, Yuzhe Gu et al.Dec 11arXiv
This paper builds a math problem–solving agent, Intern-S1-MO, that thinks in multiple rounds and remembers proven mini-results called lemmas so it can solve very long, Olympiad-level problems.
#long-horizon reasoning#lemma-based memory#multi-agent reasoning