Loading the SOTA2 catalog…
Active Search on Math HMMT (22 problems, 10 permutations) benchmark leaderboard · SOTA2 Research