Running 1 flipbudget MATH-Hard shadow leaderboard 📊 1 Explore model comparison leaderboard for MATH‑Hard