olympiad-long-horizon-reasoning

Solve IMO-level problems through multi-stage hierarchical reasoning with lemma-based memory compression. Intern-S1-MO achieves 26/35 on IMO2025 geometry-excluded problems—ideal when complex reasoning exceeds single-pass context.

Independent GitHub snapshot · Automated classification · Original documentation governs