task_metric 2 abbreviation_metric

server.py

@@ -92,6 +92,7 @@ class LeaderboardServer:
                     raise gr.Error(f"Proper submission [{submission_id}] not found")
 
                 local_results = {}
+                visible_metrics_map_word_to_header = {}
                 for task in self.tasks_metadata.keys():
                     
                     # tournament_results
@@ -101,6 +102,7 @@ class LeaderboardServer:
                             local_results[task] += 1
                     
                     for metric in VISIBLE_METRICS:
+                        visible_metrics_map_word_to_header[task + "_" + metric] = self.tasks_metadata[task]["abbreviation"] + " " + metric
                         metric_value = data['results'][task].get(metric)
                         if metric_value is not None:
                             local_results[task + "_" + metric] = metric_value
@@ -153,6 +155,7 @@ class LeaderboardServer:
             dataframe = dataframe[df_order]
             attributes_map_word_to_header = {key: value["abbreviation"] for key, value in self.tasks_metadata.items()}
             attributes_map_word_to_header.update(extra_attributes_map_word_to_header)
+            attributes_map_word_to_header.update(visible_metrics_map_word_to_header)
             dataframe = dataframe.rename(
                 columns=attributes_map_word_to_header
             )