Fixing Open LLM Leaderboard with Math-Verify
Capability change
Hugging Face re-evaluated all 3,751 models on the Open LLM Leaderboard using the Math-Verify tool to fix math evaluation issues, resulting in an average 4.66-point score increase and significant reshuffling of rankings, especially for Qwen and 
DeepSeek models.
