switch to more responsive mechanism, update in the background

app.py

@@ -1,3 +1,5 @@
+import random
+
 import gradio as gr
 from gradio_leaderboard import Leaderboard, ColumnFilter, SelectColumns
 import pandas as pd
@@ -47,13 +49,14 @@ def restart_space():
 
 def refresh_leaderboard_data():
     """Refresh the leaderboard data from the latest results"""
+    global leaderboard_df
     try:
-        logger.info("Loading latest leaderboard data...")
+        logger.info("Loading leaderboard data...")
         new_leaderboard_df = get_leaderboard_df(RESULTS_REPO)
 
         if new_leaderboard_df is not None and not new_leaderboard_df.empty:
             logger.info("Leaderboard data refreshed successfully")
-            return new_leaderboard_df
+            leaderboard_df = new_leaderboard_df
         else:
             logger.warning("No new leaderboard data found")
             return None
@@ -62,18 +65,6 @@ def refresh_leaderboard_data():
         return None
 
 
-lbdb = F1Data(cp_ds_name=CODE_PROBLEMS_REPO, sub_ds_name=SUBMISSIONS_REPO, res_ds_name=RESULTS_REPO, split=SPLIT)
-
-
-logger.info("Initialized LBDB")
-
-# (
-#     finished_eval_queue_df,
-#     running_eval_queue_df,
-#     pending_eval_queue_df,
-# ) = get_evaluation_queue_df(EVAL_REQUESTS_PATH, EVAL_COLS)
-
-
 def init_leaderboard(dataframe):
     if dataframe is None or dataframe.empty:
         raise ValueError("Leaderboard DataFrame is empty or None.")
@@ -104,6 +95,19 @@ def init_leaderboard(dataframe):
     )
 
 
+lbdb = F1Data(cp_ds_name=CODE_PROBLEMS_REPO, sub_ds_name=SUBMISSIONS_REPO, res_ds_name=RESULTS_REPO, split=SPLIT)
+
+leaderboard_df = None
+
+logger.info("Initialized LBDB")
+
+# (
+#     finished_eval_queue_df,
+#     running_eval_queue_df,
+#     pending_eval_queue_df,
+# ) = get_evaluation_queue_df(EVAL_REQUESTS_PATH, EVAL_COLS)
+
+
 # Display image using Markdown
 # banner = "![Leaderboard Banner](file/assets/banner.png)"
 
@@ -144,7 +148,7 @@ with demo:
 
     with gr.Tabs(elem_classes="tab-buttons") as tabs:
         with gr.TabItem("🏅 FormulaOne Leaderboard", elem_id="formulaone-leaderboar-tab-table", id=0):
-            leaderboard_df = get_leaderboard_df(RESULTS_REPO)
+            refresh_leaderboard_data()  # updates leaderboard_df
             leaderboard_component = init_leaderboard(leaderboard_df)
 
         # with gr.TabItem("📝 About", elem_id="llm-benchmark-tab-table", id=1):
@@ -261,12 +265,13 @@ with demo:
             #     show_copy_button=True,
             # )
 
-    demo.load(refresh_leaderboard_data, inputs=[], outputs=[leaderboard_component])
+    demo.load(lambda: leaderboard_df, inputs=[], outputs=[leaderboard_component])
 
 
 logger.info("Scheduler")
 scheduler = BackgroundScheduler()
 scheduler.add_job(restart_space, "interval", seconds=1800)
+scheduler.add_job(refresh_leaderboard_data, "interval", seconds=120)
 scheduler.start()
 logger.info("Launch")
 demo.queue(default_concurrency_limit=40).launch()