It is possible to download tournament results for each model and category (except Overall) in CSV format

app.py

@@ -192,6 +192,17 @@ def fetch_model_tournament_results_table(submission_id, category):
             visible=True,
         )
 
+def fetch_model_tournament_results_table_csv(submission_id, category):
+    if submission_id == None:
+        return gr.update(
+            visible=False,
+        )
+    else:
+        return gr.update(
+            value=leaderboard_server.get_model_tournament_table_csv(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]
@@ -218,6 +229,9 @@ def change_leaderboard_category(category, selected_submission_id):
         model_tournament_results_table = gr.update(
             visible=False,
         )
+        model_tournament_results_table_csv = gr.update(
+            visible=False,
+        )
     else:
         task_abbreviation_legend = gr.update(
             value=create_task_abbreviation_legend_table(category),
@@ -233,6 +247,7 @@ def change_leaderboard_category(category, selected_submission_id):
         )
         
         model_tournament_results_table = fetch_model_tournament_results_table(selected_submission_id, category)
+        model_tournament_results_table_csv = fetch_model_tournament_results_table_csv(selected_submission_id, category)
     
     leaderboard = gr.update(
         value=leaderboard_server.get_leaderboard(category=category),
@@ -250,6 +265,7 @@ def change_leaderboard_category(category, selected_submission_id):
         tournament_results_title,
         tournament_results_dropdown,
         model_tournament_results_table,
+        model_tournament_results_table_csv,
     )
 
 def show_modal():
@@ -387,6 +403,12 @@ def gradio_app():
                             elem_classes="leaderboard-table-model-details",
                         )
                     
+                    with gr.Row():
+                        model_tournament_results_table_csv = gr.DownloadButton(
+                            label="Download model tournament results in CSV format",
+                            visible=False,
+                        )
+                    
                     category_of_tasks.change(
                         fn=change_leaderboard_category,
                         inputs=[
@@ -400,6 +422,7 @@ def gradio_app():
                             tournament_results_title,
                             tournament_results_dropdown,
                             model_tournament_results_table,
+                            model_tournament_results_table_csv,
                         ],
                     )
                     
@@ -410,6 +433,13 @@ def gradio_app():
                             category_of_tasks,
                         ],
                         outputs=model_tournament_results_table,
+                    ).then(
+                        fn=fetch_model_tournament_results_table_csv,
+                        inputs=[
+                            tournament_results_dropdown,
+                            category_of_tasks,
+                        ],
+                        outputs=model_tournament_results_table_csv,
                     )
 
             with gr.TabItem('Model details'):

server.py

@@ -374,6 +374,10 @@ class LeaderboardServer:
               df_css[c].iloc[i] = ''
         return df_css 
 
+    def get_model_tournament_table_csv(self, submission_id, category):
+        with self.var_lock.ro:
+            return self.tournament_dataframes_csv[submission_id][category]
+
     def get_model_tournament_table(self, submission_id, category):
         with self.var_lock.ro:
             return copy.copy(self.tournament_dataframes[submission_id][category])