It is possible to download leaderboard for each category in CSV format

app.py

@@ -133,7 +133,14 @@ def submit_results():
     gr.Info('Submission successful!')
     
     with leaderboard_server.var_lock.ro:
-        leaderboard = leaderboard_server.get_leaderboard(category=leaderboard_server.TASKS_CATEGORY_OVERALL)
+        leaderboard = gr.update(
+            value=leaderboard_server.get_leaderboard(category=leaderboard_server.TASKS_CATEGORY_OVERALL),
+            visible=True,
+        )
+        leaderboard_csv = gr.update(
+            value=leaderboard_server.get_leaderboard_csv(category=leaderboard_server.TASKS_CATEGORY_OVERALL),
+            visible=True,
+        )
         submission_ids_and_titles = get_submission_ids_and_titles()
     
     return (
@@ -143,7 +150,8 @@ def submit_results():
         gr.update(visible=False),
         gr.update(visible=False),
         gr.update(visible=False),
-        gr.DataFrame(value=leaderboard, visible=True),
+        leaderboard,
+        leaderboard_csv,
         gr.update(visible=False),
         gr.update(choices=submission_ids_and_titles),
         gr.update(value=leaderboard_server.TASKS_CATEGORY_OVERALL),
@@ -226,12 +234,18 @@ def change_leaderboard_category(category, selected_submission_id):
         
         model_tournament_results_table = fetch_model_tournament_results_table(selected_submission_id, category)
     
+    leaderboard = gr.update(
+        value=leaderboard_server.get_leaderboard(category=category),
+        visible=True,
+    )
+    leaderboard_csv = gr.update(
+        value=leaderboard_server.get_leaderboard_csv(category=category),
+        visible=True,
+    )
+    
     return (
-        gr.update(
-            value=leaderboard_server.get_leaderboard(category=category),
-            visible=True,
-            datatype="markdown",
-        ),
+        leaderboard,
+        leaderboard_csv,
         task_abbreviation_legend,
         tournament_results_title,
         tournament_results_dropdown,
@@ -249,14 +263,19 @@ def hide_modal():
 
 def on_application_load():
     with leaderboard_server.var_lock.ro:
-        leaderboard = leaderboard_server.get_leaderboard(category=leaderboard_server.TASKS_CATEGORY_OVERALL)
+        leaderboard = gr.update(
+            value=leaderboard_server.get_leaderboard(category=leaderboard_server.TASKS_CATEGORY_OVERALL),
+            visible=True,
+        )
+        leaderboard_csv = gr.update(
+            value=leaderboard_server.get_leaderboard_csv(category=leaderboard_server.TASKS_CATEGORY_OVERALL),
+            visible=True,
+        )
         submission_ids_and_titles = get_submission_ids_and_titles()
     
     return (
-        gr.update(
-            value=leaderboard,
-            visible=True,
-        ),
+        leaderboard,
+        leaderboard_csv,
         gr.update(choices=submission_ids_and_titles),
         gr.update(value=leaderboard_server.TASKS_CATEGORY_OVERALL),
         gr.update(choices=submission_ids_and_titles),
@@ -376,6 +395,7 @@ def gradio_app():
                         ],
                         outputs=[
                             leaderboard_table,
+                            leaderboard_table_csv,
                             leaderboard_table_legend,
                             tournament_results_title,
                             tournament_results_dropdown,
@@ -498,6 +518,7 @@ def gradio_app():
                             pre_submit_info,
                             pre_submit_table,
                             leaderboard_table,
+                            leaderboard_table_csv,
                             modal_submit,
                             detail_dropdown,
                             category_of_tasks,
@@ -527,6 +548,7 @@ def gradio_app():
             inputs=None,
             outputs=[
                 leaderboard_table,
+                leaderboard_table_csv,
                 detail_dropdown,
                 category_of_tasks,
                 tournament_results_dropdown,