Search for a command to run...
Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving