diff --git a/dataset_registry.yaml b/dataset_registry.yaml
index 4a8fa42..2211b0f 100644
--- a/dataset_registry.yaml
+++ b/dataset_registry.yaml
@@ -244,7 +244,7 @@ datasets:
       eval_metrics: ["ndcg_cut.10", "recall.100", "recall.1000"]
 
   bright-aops:
-    name: "BRIGHT — AOPS"
+    name: "BRIGHT — AoPS"
     index: {name: "bright-aops"}
     topics: {name: "bright-aops"}
     qrels:  {name: "bright-aops"}
diff --git a/reproducibility/site/src/pages/index.astro b/reproducibility/site/src/pages/index.astro
index 8dcecc0..bee0cea 100644
--- a/reproducibility/site/src/pages/index.astro
+++ b/reproducibility/site/src/pages/index.astro
@@ -22,14 +22,19 @@ const SHORT: Record<string, string> = {
   "msmarco-v1-passage.trecdl2019": "DL 2019",
   "msmarco-v1-passage.trecdl2020": "DL 2020",
   "msmarco-v1-passage.dlhard":     "DL-HARD",
-  // BRIGHT
-  "bright-biology":           "Biology",
-  "bright-earth-science":     "Earth Sci.",
-  "bright-economics":         "Economics",
-  "bright-psychology":        "Psychology",
-  "bright-robotics":          "Robotics",
-  "bright-stackoverflow":     "StackOverflow",
-  "bright-sustainable-living":"Sustain. Living",
+  // BRIGHT (official subset names, no "BRIGHT —" prefix)
+  "bright-biology":             "Biology",
+  "bright-earth-science":       "Earth Science",
+  "bright-economics":           "Economics",
+  "bright-psychology":          "Psychology",
+  "bright-robotics":            "Robotics",
+  "bright-stackoverflow":       "Stack Overflow",
+  "bright-sustainable-living":  "Sustainable Living",
+  "bright-pony":                "Pony",
+  "bright-leetcode":            "LeetCode",
+  "bright-aops":                "AoPS",
+  "bright-theoremqa-theorems":  "TheoremQA Theorems",
+  "bright-theoremqa-questions": "TheoremQA Questions",
 };
 
 const METRIC_LABEL: Record<string, string> = {