It is possible to download leaderboard Overall in CSV format

app.py

@@ -321,6 +321,12 @@ def gradio_app():
                             elem_classes="leaderboard-table",
                         )
                     
+                    with gr.Row():
+                        leaderboard_table_csv = gr.DownloadButton(
+                            label="Download leaderboard in CSV format",
+                            value=leaderboard_server.get_leaderboard_csv(category=leaderboard_server.TASKS_CATEGORY_OVERALL),
+                        )
+                    
                     with gr.Row():
                         leaderboard_table_legend = gr.DataFrame(
                             value=None,

server.py

@@ -157,6 +157,7 @@ class LeaderboardServer:
         self.TASKS_CATEGORY_OVERALL = "Overall"
         self.CATEGORY_TO_TASK_ABBREVIATION_TO_DETAILS = self._prepare_category_to_task_abbr_to_details()
         self.MAX_LENGTH_OF_MODEL_TITLE = 28
+        self.DIR_DATAFRAMES_CSV = "./dataframes_csv"
         
         self.var_lock = ReadWriteLock()
         self.submission_ids = set()
@@ -167,6 +168,9 @@ class LeaderboardServer:
         self.leaderboard_dataframes = {}  # For each category
         self.tournament_dataframes = {}  # For each submission_id and category
         
+        self.leaderboard_dataframes_csv = {}  # For each category
+        self.tournament_dataframes_csv = {}  # For each submission_id and category
+        
         self.results_dataset_local_snapshot_lock = ReadWriteLock()
         self.results_dataset_local_snapshot = None
         
@@ -191,9 +195,11 @@ class LeaderboardServer:
         with self.var_lock.rw:
             self.tournament_results = tournament_results
         
+        categories = [self.TASKS_CATEGORY_OVERALL] + sorted(self.TASKS_CATEGORIES)
+        
         leaderboard_dataframes = {
             category: self._get_leaderboard(category=category)
-            for category in [self.TASKS_CATEGORY_OVERALL] + sorted(self.TASKS_CATEGORIES)
+            for category in categories
         }
         
         with self.var_lock.ro:
@@ -202,7 +208,7 @@ class LeaderboardServer:
         tournament_dataframes = {
             submission_id: {
                 category: self._get_model_tournament_table(submission_id, category)
-                for category in [self.TASKS_CATEGORY_OVERALL] + sorted(self.TASKS_CATEGORIES)
+                for category in categories
             }
             for submission_id in submission_ids
         }
@@ -210,6 +216,27 @@ class LeaderboardServer:
         with self.var_lock.rw:
             self.leaderboard_dataframes = leaderboard_dataframes
             self.tournament_dataframes = tournament_dataframes
+        
+        leaderboard_dataframes_csv = {
+            category: self._dataframe_to_csv(self.get_leaderboard(category=category), f"Leaderboard - {category}.csv")
+            for category in categories
+        }
+        
+        with self.var_lock.ro:
+            tournament_dataframes_csv = {
+                submission_id: {
+                    category: self._dataframe_to_csv(
+                        self.get_model_tournament_table(submission_id, category).data,
+                        f"Tournament table - {self.submission_id_to_data[submission_id]['metadata']['model_name'][:self.MAX_LENGTH_OF_MODEL_TITLE]} - {category}.csv",
+                    )
+                    for category in sorted(self.TASKS_CATEGORIES)
+                }
+                for submission_id in submission_ids
+            }
+        
+        with self.var_lock.rw:
+            self.leaderboard_dataframes_csv = leaderboard_dataframes_csv
+            self.tournament_dataframes_csv = tournament_dataframes_csv
 
     def load_tournament_results(self):
         with self.results_dataset_local_snapshot_lock.ro:
@@ -409,6 +436,22 @@ class LeaderboardServer:
             dataframe = dataframe.style.apply(self._model_tournament_table_highlight_true_and_false, axis=None)
             return dataframe
 
+    def _dataframe_to_csv(self, dataframe, filename):
+        try:
+            if not os.path.isdir(self.DIR_DATAFRAMES_CSV):
+                os.mkdir(self.DIR_DATAFRAMES_CSV)
+        except FileExistsError:
+            pass
+        
+        filepath = os.path.join(self.DIR_DATAFRAMES_CSV, filename)
+        dataframe.to_csv(filepath)
+        return filepath
+
+    def get_leaderboard_csv(self, category=None):
+        category = category if category else self.TASKS_CATEGORY_OVERALL
+        with self.var_lock.ro:
+            return self.leaderboard_dataframes_csv[category]
+
     def get_leaderboard(self, pre_submit=None, category=None):
         if pre_submit == None:
             category = category if category else self.TASKS_CATEGORY_OVERALL