Update app.py

app.py

@@ -6,6 +6,9 @@ from huggingface_hub import HfApi
 from src.assets.text_content import TITLE, INTRODUCTION_TEXT, CLEMSCORE_TEXT
 from src.leaderboard_utils import filter_search, get_github_data
 from src.plot_utils import split_models, compare_plots
+from src.reload_utils import get_primary_leaderboard, get_open_models, get_closed_models, get_plot_df, get_version_names, get_version_df, get_prev_df
+
+TIME = 150
 
 # For Leaderboards
 dataframe_height = 800 # Height of the table in pixels
@@ -49,7 +52,8 @@ with main_app:
                 )
                                     
             leaderboard_table = gr.Dataframe(
-                value=primary_leaderboard_df[0],
+                value=get_primary_leaderboard(),
+                every = TIME,
                 elem_id="leaderboard-table",
                 interactive=False,
                 visible=True,
@@ -60,7 +64,8 @@ with main_app:
 
             # Add a dummy leaderboard to handle search queries from the primary_leaderboard_df and not update primary_leaderboard_df
             dummy_leaderboard_table = gr.Dataframe(
-                value=primary_leaderboard_df[0],
+                value=get_primary_leaderboard(),
+                every = TIME,
                 elem_id="leaderboard-table",
                 interactive=False,
                 visible=False
@@ -76,7 +81,8 @@ with main_app:
         with gr.TabItem("📈 Plot", id=3):
             with gr.Row():
                 open_models_selection = gr.CheckboxGroup(
-                    OPEN_MODELS, 
+                    get_open_models(),
+                    every = TIME,
                     label="Open-weight Models 🌐",
                     value=[],
                     elem_id="value-select",
@@ -85,7 +91,8 @@ with main_app:
 
             with gr.Row():
                 closed_models_selection = gr.CheckboxGroup(
-                    CLOSED_MODELS, 
+                    get_closed_models(),
+                    every = TIME,
                     label="Closed-weight Models 💼",
                     value=[],
                     elem_id="value-select-2",
@@ -130,7 +137,8 @@ with main_app:
 
             with gr.Row():
                 dummy_plot_df = gr.DataFrame(
-                    value=plot_df,
+                    value=get_plot_df(),
+                    every = TIME,
                     visible=False
                 )
 
@@ -194,7 +202,8 @@ with main_app:
                 )
 
             prev_table = gr.Dataframe(
-                value=prev_df,
+                value=get_prev_df(),
+                every = TIME,
                 elem_id="leaderboard-table",
                 interactive=False,
                 visible=True,
@@ -202,7 +211,8 @@ with main_app:
             )
 
             dummy_prev_table = gr.Dataframe(
-                value=prev_df,
+                value=get_prev_df(),
+                every = TIME,
                 elem_id="leaderboard-table",
                 interactive=False,
                 visible=False
@@ -229,6 +239,6 @@ main_app.queue()
 
 ########
 scheduler = BackgroundScheduler()
-scheduler.add_job(restart_space, 'interval', seconds=300)
+scheduler.add_job(restart_space, 'interval', seconds=TIME)
 scheduler.start()
 main_app.launch()