Try update whole Leaderboard

app.py

@@ -175,14 +175,41 @@ def get_submission_ids_and_titles():
     
     return submission_ids_and_titles
 
+def init_leaderboard(dataframe):
+    if dataframe is None or dataframe.empty:
+        raise ValueError("Leaderboard DataFrame is empty or None.")
+    
+    datatype = ["markdown" if idx < 3 else "number" for idx, col in enumerate(dataframe)]
+    
+    return Leaderboard(
+        value=dataframe,
+        datatype=datatype,
+        select_columns=SelectColumns(
+            default_selection=None,
+            cant_deselect=["Model"],
+            label="Select Columns to Display:",
+        ),
+        search_columns=["model_title"],
+        hide_columns=["model_title"],
+        filter_columns=[
+            ColumnFilter("Type", type="checkboxgroup", label="Model types"),
+            ColumnFilter(
+                "# θ (B)",
+                type="slider",
+                default=[-1, -1],
+                label="Select the number of parameters (B)",
+            ),
+        ],
+        elem_classes="leaderboard-table",
+    )
+
 def submit_results():
     leaderboard_server.save_pre_submit()
     gr.Info('Submission successful!')
     
     with leaderboard_server.var_lock.ro:
-        leaderboard = Leaderboard(
-            value=leaderboard_server.get_leaderboard(category=leaderboard_server.TASKS_CATEGORY_OVERALL),
-            visible=True,
+        leaderboard = init_leaderboard(
+            leaderboard_server.get_leaderboard(category=leaderboard_server.TASKS_CATEGORY_OVERALL)
         )
         leaderboard_csv = gr.update(
             value=leaderboard_server.get_leaderboard_csv(category=leaderboard_server.TASKS_CATEGORY_OVERALL),
@@ -302,9 +329,8 @@ 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 = Leaderboard(
-        value=leaderboard_server.get_leaderboard(category=category),
-        visible=True,
+    leaderboard = init_leaderboard(
+        leaderboard_server.get_leaderboard(category=category)
     )
     leaderboard_csv = gr.update(
         value=leaderboard_server.get_leaderboard_csv(category=category),
@@ -409,9 +435,8 @@ def check_significance_is_reachable_hook():
 
 def on_application_load():
     with leaderboard_server.var_lock.ro:
-        leaderboard = Leaderboard(
-            value=leaderboard_server.get_leaderboard(category=leaderboard_server.TASKS_CATEGORY_OVERALL),
-            visible=True,
+        leaderboard = init_leaderboard(
+            leaderboard_server.get_leaderboard(category=leaderboard_server.TASKS_CATEGORY_OVERALL)
         )
         leaderboard_csv = gr.update(
             value=leaderboard_server.get_leaderboard_csv(category=leaderboard_server.TASKS_CATEGORY_OVERALL),
@@ -636,26 +661,8 @@ def gradio_app():
 #                    for col in leaderboard_dataframe_number_cols:
 #                        leaderboard_dataframe[col] = leaderboard_dataframe[col].apply(lambda x: x.str.replace('.', ','))
                     
-                    leaderboard_table = Leaderboard(
-                        value=leaderboard_dataframe,
-                        datatype=leaderboard_datatype,
-                        select_columns=SelectColumns(
-                            default_selection=None,
-                            cant_deselect=["Model"],
-                            label="Select Columns to Display:",
-                        ),
-                        search_columns=["model_title"],
-                        hide_columns=["model_title"],
-                        filter_columns=[
-                            ColumnFilter("Type", type="checkboxgroup", label="Model types"),
-                            ColumnFilter(
-                                "# θ (B)",
-                                type="slider",
-                                default=[-1, -1],
-                                label="Select the number of parameters (B)",
-                            ),
-                        ],
-                        elem_classes="leaderboard-table",
+                    leaderboard_table = init_leaderboard(
+                        leaderboard_server.get_leaderboard(category=leaderboard_server.TASKS_CATEGORY_OVERALL)
                     )
                     
                     with gr.Row():