Join
Loading the SOTA2 catalog…
Mathematical Reasoning on ProofWriter benchmark leaderboard · SOTA2 Research