Update app.py

app.py

@@ -2,16 +2,16 @@ import gradio as gr
 import pandas as pd
 from apscheduler.schedulers.background import BackgroundScheduler
 
-"""###########################################################################
-MLE‑Dojo Leaderboard (v2.3)
-———————————————————————————————————————————————————————————————————————
-A polished Gradio interface for viewing Elo scores across MLE‑Dojo benchmark
-categories.
-###########################################################################"""
+"""
+MLE‑Dojo Leaderboard — polished Gradio app (v2.4)
+-------------------------------------------------
+Displays Elo scores of mainstream LLMs across MLE‑Dojo benchmark categories
+with a clean, modern aesthetic.
+"""
 
-# ──────────────────────────────────────────────────────────────────────────
-# 0️⃣  Dynamic imports / graceful fall‑back
-# ──────────────────────────────────────────────────────────────────────────
+# ─────────────────────────────────────────────────────────────────────────────
+# 0️⃣  Safe imports (fallback to placeholders when src.* unavailable)
+# ─────────────────────────────────────────────────────────────────────────────
 try:
     from src.about import (
         CITATION_BUTTON_LABEL,
@@ -22,7 +22,7 @@ try:
     )
     from src.display.css_html_js import custom_css as EXTRA_CSS
     from src.envs import REPO_ID
-    from src.submission.submit import add_new_eval  #  Optional
+    from src.submission.submit import add_new_eval
     print("✓ Imported project‑local definitions from src.*")
 except ImportError:
     print("⚠  src.* imports failed — using internal placeholders.")
@@ -36,9 +36,9 @@ except ImportError:
     def add_new_eval(*_):
         return "Submission placeholder."
 
-# ──────────────────────────────────────────────────────────────────────────
-# 1️⃣  Data: model‑level Elo scores
-# ──────────────────────────────────────────────────────────────────────────
+# ─────────────────────────────────────────────────────────────────────────────
+# 1️⃣  Static data (replace with live data source if desired)
+# ─────────────────────────────────────────────────────────────────────────────
 MODELS = [
     {"model_name": "gpt-4o-mini",   "url": "https://openai.com/index/gpt-4o-mini-advancing-cost-efficient-intelligence/", "organizer": "OpenAI", "license": "Proprietary", "MLE-Lite_Elo": 753,  "Tabular_Elo": 839,  "NLP_Elo": 758,  "CV_Elo": 754,  "Overall": 778},
     {"model_name": "gpt-4o",        "url": "https://openai.com/index/hello-gpt-4o/",                                         "organizer": "OpenAI", "license": "Proprietary", "MLE-Lite_Elo": 830,  "Tabular_Elo": 861,  "NLP_Elo": 903,  "CV_Elo": 761,  "Overall": 841},
@@ -60,11 +60,11 @@ COL_MAP = {
     "CV": "CV_Elo",
 }
 
-# ──────────────────────────────────────────────────────────────────────────
-# 2️⃣  Helper — build DataFrame for UI
-# ──────────────────────────────────────────────────────────────────────────
+# ─────────────────────────────────────────────────────────────────────────────
+# 2️⃣  Helper to produce leaderboard DataFrame
+# ─────────────────────────────────────────────────────────────────────────────
 
-def make_leaderboard(category: str) -> pd.DataFrame:
+def make_leaderboard(category: str = "Overall") -> pd.DataFrame:
     col = COL_MAP.get(category, "Overall")
     df = (
         master_df.loc[:, ["model_name", "url", "organizer", "license", col]]
@@ -76,10 +76,14 @@ def make_leaderboard(category: str) -> pd.DataFrame:
     df["Model"] = df.apply(lambda r: f"<a href='{r.url}' target='_blank'>{r.Model}</a>", axis=1)
     return df.drop(columns=["url"]).reset_index(drop=True)
 
-# ──────────────────────────────────────────────────────────────────────────
+# ─────────────────────────────────────────────────────────────────────────────
 # 3️⃣  Theme + CSS
-# ──────────────────────────────────────────────────────────────────────────
-THEME = gr.themes.Soft(primary_hue="cyan", neutral_hue="slate", font=["Inter", "Helvetica", "Arial", "sans-serif"])
+# ─────────────────────────────────────────────────────────────────────────────
+THEME = gr.themes.Soft(
+    primary_hue="cyan",
+    neutral_hue="slate",
+    font=["Inter", "Helvetica", "Arial", "sans-serif"],
+)
 
 BASE_CSS = r"""
 @import url('https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&display=swap');
@@ -98,3 +102,21 @@ body  { font-family:'Inter',system-ui,Arial,sans-serif; background:#f9fafb; colo
 #leaderboard-table tr:nth-child(even) { background:#f9fafb; }
 #leaderboard-table tr:hover { background:#ecfeff; }
 #leaderboard-table td a { color:#2563eb; text-decoration:none; }
+#leaderboard-table td a:hover { text-decoration:underline; }
+.gr-accordion label { font-weight:600; }
+.gr-button { font-weight:500; padding:.55em 1.4em; }
+@media (max-width:480px){ .hero-title{font-size:2.4rem;} .subtitle{font-size:1.05rem;} }
+"""
+
+custom_css = EXTRA_CSS + BASE_CSS
+
+# ─────────────────────────────────────────────────────────────────────────────
+# 4️⃣  Build Gradio UI
+# ─────────────────────────────────────────────────────────────────────────────
+demo = gr.Blocks(css=custom_css, theme=THEME)
+
+with demo:
+    # Hero section
+    gr.HTML(RAW_TITLE or (
+        """
+        <h1 class='hero