minor cleanup

app.py

@@ -19,7 +19,8 @@ BOARDS_CONFIG = LEADERBOARD_CONFIG["boards"]
 TASKS = list(TASKS_CONFIG.keys())
 PRETTY_NAMES = {
     "InstructionRetrieval": "Retrieval w/Instructions",
-    "PairClassification": "Pair Classification"
+    "PairClassification": "Pair Classification",
+    "BitextMining": "Bitext Mining",
 }
 
 TASK_TO_METRIC = {k:v["metric"] for k,v in TASKS_CONFIG.items()}
@@ -563,7 +564,7 @@ with gr.Blocks(css=css) as block:
             task_tab_id = task.lower().replace(" ", "-")
 
             # Overall, Bitext Mining, Classification, etc.
-            pretty_task_name = task if task not in ["InstructionRetrieval", "PairClassification"] else PRETTY_NAMES[task]
+            pretty_task_name = task if task not in PRETTY_NAMES.keys() else PRETTY_NAMES[task]
             with gr.Tab(pretty_task_name, id=task_tab_id) as task_tab:
                 # For updating the 'task' in the URL
                 task_tab.select(update_url_task, [current_task_language, language_per_task], [current_task_language, language_per_task]).then(None, [current_task_language], [], js=set_window_url_params)

config.yaml

@@ -266,7 +266,7 @@ boards:
   instructions:
     title: English
     language_long: "English"
-    has_overall: TASK_LIST_RETRIEVAL_INSTRUCTIONS
+    has_overall: false
     acronym: null
     icon: null
     credits: "[Orion Weller, FollowIR](https://arxiv.org/abs/2403.15246)"

model_meta.yaml

@@ -49,6 +49,7 @@ model_meta:
   GritLM-7B:
     link: https://huggingface.co/GritLM/GritLM-7B
     seq_len: 4096
+    size: 7240
     is_external: true
     is_propietary: false
     is_sentence_transformer_compatible: false
@@ -637,7 +638,7 @@ model_meta:
   mistral-7b-instruct-v0.2:
     link: https://huggingface.co/mistralai/Mistral-7B-Instruct-v0.2
     seq_len: 4096
-    size: 7000
+    size: 7240
     dim: -1
     is_external: true
     is_proprietary: false