Update leaderboard Space URL after rename to CADGenBench

The Space moved from HuggingAI4Engineering/cadgenbench-leaderboard to
HuggingAI4Engineering/CADGenBench; point the hardcoded references at the
new URL.

Co-authored-by: Cursor <cursoragent@cursor.com>

app.py

@@ -24,6 +24,7 @@ rather than render).
 """
 from __future__ import annotations
 
+import base64
 import html
 import logging
 import mimetypes
@@ -128,7 +129,7 @@ CITATION_BIBTEX = r"""@misc{cadgenbench2026,
   title        = {{CADGenBench}: a benchmark for {AI}-driven {CAD} generation},
   year         = {2026},
   publisher    = {Hugging Face},
-  howpublished = {\url{https://huggingface.co/spaces/HuggingAI4Engineering/cadgenbench-leaderboard}},
+  howpublished = {\url{https://huggingface.co/spaces/HuggingAI4Engineering/CADGenBench}},
 }"""
 
 VALIDATION_GUIDELINES_MD = f"""Submissions appear on the **Unvalidated** table the moment evaluation completes. Maintainers promote rows to **Validated** after methodology review, accepting one of four evidence types (`code`, `traces`, `api`, `manual`).
@@ -964,21 +965,54 @@ def _tasks_iframe_html() -> str:
     )
 
 
+@lru_cache(maxsize=1)
+def _logo_data_uri() -> str:
+    """Return the header logo as a base64 ``data:`` URI.
+
+    Inlined rather than served as a static file so the ``<img>`` renders
+    with no dependency on Gradio/FastAPI static-path allowlisting — it
+    works identically when the Space runs locally on a random port and
+    on huggingface.co. The PNG itself lives in the repo at
+    ``assets/logo.png`` (reviewable as a real binary) and is read
+    relative to this module so the Docker image's working dir doesn't
+    matter. Cached because the bytes never change within a process.
+    """
+    logo_path = Path(__file__).parent / "assets" / "logo.png"
+    data = base64.b64encode(logo_path.read_bytes()).decode("ascii")
+    return f"data:image/png;base64,{data}"
+
+
 # Reclaim vertical space so the gallery can show more rows in one viewport:
 # hide the Gradio footer ("Built with Gradio - Settings") and tighten the
-# page's outer padding / inter-block gap. Scoped to cosmetics only.
+# page's outer padding / inter-block gap. Scoped to cosmetics only. The
+# logo is height-constrained (width auto-scales) so it sits in a compact
+# band near the old `### ` title's footprint. The wordmark PNG has a
+# transparent background and black ink, so on a dark theme it would
+# vanish: the `.dark` rule inverts it to white ink (Gradio toggles the
+# `.dark` class on the container; the prefers-color-scheme query covers
+# system-driven dark mode too).
 _APP_CSS = (
     "footer{display:none !important;}"
     ".gradio-container{padding-top:4px !important; padding-bottom:0 !important;}"
     "#cgb-title{margin-bottom:0 !important;}"
-    "#cgb-title h3{margin:2px 0 !important;}"
+    "#cgb-title .cgb-logo{height:64px;width:auto;display:block;margin:2px 0;}"
+    ".dark #cgb-title .cgb-logo{filter:invert(1);}"
+    "@media (prefers-color-scheme: dark){"
+    "#cgb-title .cgb-logo{filter:invert(1);}}"
 )
 
 with gr.Blocks(
     title="CADGenBench Leaderboard", theme=gr.themes.Soft(), css=_APP_CSS,
 ) as blocks:
     # Single compact title line (keeps vertical space for the gallery rows).
-    gr.Markdown("### CADGenBench Leaderboard", elem_id="cgb-title")
+    # The wordmark logo replaces the old `### CADGenBench Leaderboard`
+    # markdown; alt text preserves the name for screen readers / when
+    # images are blocked.
+    gr.HTML(
+        f'<img class="cgb-logo" src="{_logo_data_uri()}" '
+        'alt="CADGenBench Leaderboard">',
+        elem_id="cgb-title",
+    )
 
     with gr.Tab("Leaderboard"):
         # Visual-first leaderboard. The bespoke surface (sticky GT row,