Loading the SOTA2 catalog…
Math Problem Solving on 200 IMO-level math problems IMO-AnswerBench, IMO-ProofBench, ArXivMath (test) benchmark leaderboard · SOTA2 Research