Loading the SOTA2 catalog…
Mathematical Claim Generation on Mathematical Claim Generation LLM Judge Evaluation pre-2024 GPT benchmark leaderboard · SOTA2 Research