fix: mini leaderboard

app.py

@@ -109,17 +109,16 @@ def problem(problem_idx):
 
 mini_models = [
     # "DeepSeek-V2",
-    "DeepSeekCoder-V2",
+    "DeepSeek-V3",
     # "DSCoder-33b-Ins",
-    "LLama3.1-70b-Ins",
-    "LLama3.1-405b-Ins-FP8",
     # "GPT-4-Turbo-2024-04-09",
     "GPT-4O-2024-05-13",
-    "Claude-3-Opus",
+    "Claude-3.5-Sonnet-20240620",
+    "Gemini-Flash-2.0-Thinking",
+    # "Gemini-Exp-1206",
     # "Claude-3-Sonnet",
-    "Gemini-Pro-1.5-August",
-    "O1-Mini (N=1)",
-    "O1-Preview (N=1)",
+    "O1-Mini-2024-09-12 (N=1)",
+    "O1-2024-12-17 (N=1) (High)",
 ]