More info to table of the tasks

app.py

@@ -168,6 +168,14 @@ def fetch_model_tournament_results_table(submission_id, category):
             visible=True,
         )
 
+def create_task_abbreviation_legend_table(category):
+    task_abbreviation_legend_body = []
+    abbreviation2name = leaderboard_server.CATEGORY_TO_TASK_ABBREVIATION_TO_DETAILS[category]
+    for abbr, name, url in abbreviation2name.values():
+        task_abbreviation_legend_body.append([abbr, name, url])
+    
+    return task_abbreviation_legend_body
+
 def change_leaderboard_category(category, selected_submission_id):
     if category == leaderboard_server.TASKS_CATEGORY_OVERALL:
         task_abbreviation_legend = gr.update(
@@ -183,14 +191,8 @@ def change_leaderboard_category(category, selected_submission_id):
             visible=False,
         )
     else:
-        task_abbreviation_legend_body = []
-        
-        abbreviation2name = leaderboard_server.CATEGORY_TO_TASK_ABBREVIATION_TO_NAME[category]
-        for abbr, name in abbreviation2name.items():
-            task_abbreviation_legend_body.append([abbr, name])
-        
         task_abbreviation_legend = gr.update(
-            value=task_abbreviation_legend_body,
+            value=create_task_abbreviation_legend_table(category),
             visible=True,
         )
         
@@ -303,12 +305,13 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                     results_table_legend = gr.DataFrame(
                         value=None,
                         headers=[
-                            "task abbr.", # "task abbreviation"
-                            "task name",
+                            "Abbr.", # "task abbreviation"
+                            "Name",
+                            "URL",
                         ],
                         column_widths=["150px"],
                         datatype="str",
-                        label=None,
+                        label="Descriptions of the tasks",
                         visible=False,
                         interactive=False,
                         elem_classes="leaderboard-table-legend",

server.py

@@ -155,7 +155,7 @@ class LeaderboardServer:
         self.TASKS_METADATA = json.load(open(TASKS_METADATA_PATH))
         self.TASKS_CATEGORIES = {self.TASKS_METADATA[task]["category"] for task in self.TASKS_METADATA}
         self.TASKS_CATEGORY_OVERALL = "Overall"
-        self.CATEGORY_TO_TASK_ABBREVIATION_TO_NAME = self._prepare_category_to_task_abbr_to_name()
+        self.CATEGORY_TO_TASK_ABBREVIATION_TO_DETAILS = self._prepare_category_to_task_abbr_to_details()
         
         self.var_lock = ReadWriteLock()
         self.submission_ids = set()
@@ -190,18 +190,31 @@ class LeaderboardServer:
             results = json.load(ranks_file)
         return results
 
-    def _prepare_category_to_task_abbr_to_name(self):
+    def _prepare_category_to_task_abbr_to_details(self):
         tasks_per_category = {}
         for task in self.TASKS_METADATA:
             task_category = self.TASKS_METADATA[task]["category"]
             tasks_per_category.setdefault(task_category, list()).append(task)
         
-        category2abbreviation2name = {}
+        category2abbreviation2name = {self.TASKS_CATEGORY_OVERALL: {}}
         for category, tasks in tasks_per_category.items():
-            abbreviation2name = {self.TASKS_METADATA[t]["abbreviation"]: self.TASKS_METADATA[t]["name"] for t in tasks}
+            abbreviation2name = {
+                self.TASKS_METADATA[t]["abbreviation"]: (
+                    self.TASKS_METADATA[t]["abbreviation"],
+                    self.TASKS_METADATA[t]["name"],
+                    self.TASKS_METADATA[t]["source_url"],
+                )
+                for t in tasks
+            }
             sorted_abbreviation2name = dict.fromkeys(sorted(abbreviation2name.keys()))
             sorted_abbreviation2name.update(abbreviation2name)
             category2abbreviation2name[category] = sorted_abbreviation2name
+            category2abbreviation2name[self.TASKS_CATEGORY_OVERALL].update(sorted_abbreviation2name)
+        
+        abbreviation2name = category2abbreviation2name[self.TASKS_CATEGORY_OVERALL]
+        sorted_abbreviation2name = dict.fromkeys(sorted(abbreviation2name.keys()))
+        sorted_abbreviation2name.update(abbreviation2name)
+        category2abbreviation2name[self.TASKS_CATEGORY_OVERALL] = sorted_abbreviation2name
         
         return category2abbreviation2name