Fixing Open LLM Leaderboard with Math-Verify

T1Covered by 1 source · first reported by Hugging Face Blog at 14 Feb 2025, 00:00 UTC