Try different style of update Leaderboard

app.py

@@ -180,7 +180,7 @@ def submit_results():
     gr.Info('Submission successful!')
     
     with leaderboard_server.var_lock.ro:
-        leaderboard = gr.update(
+        leaderboard = Leaderboard(
             value=leaderboard_server.get_leaderboard(category=leaderboard_server.TASKS_CATEGORY_OVERALL),
             visible=True,
         )
@@ -302,7 +302,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(
+    leaderboard = Leaderboard(
         value=leaderboard_server.get_leaderboard(category=category),
         visible=True,
     )
@@ -409,7 +409,7 @@ def check_significance_is_reachable_hook():
 
 def on_application_load():
     with leaderboard_server.var_lock.ro:
-        leaderboard = gr.update(
+        leaderboard = Leaderboard(
             value=leaderboard_server.get_leaderboard(category=leaderboard_server.TASKS_CATEGORY_OVERALL),
             visible=True,
         )