update the dataframe after every load from leaderboard dataset

app_leaderboard.py

@@ -74,10 +74,6 @@ def get_display_df(df):
         )
     return display_df
 
-def update_leaderboard_records():
-    logger.info("Updating leaderboard records")
-    leaderboard.records = get_records_from_dataset_repo(leaderboard.LEADERBOARD)
-
 def get_demo(leaderboard_tab):
     logger.info("Loading leaderboard records")
     leaderboard.records = get_records_from_dataset_repo(leaderboard.LEADERBOARD)
@@ -120,7 +116,15 @@ def get_demo(leaderboard_tab):
     with gr.Row():
         leaderboard_df = gr.DataFrame(display_df, datatype=types, interactive=False)
 
-    leaderboard_tab.select(fn=update_leaderboard_records)
+    def update_leaderboard_records(model_id, dataset_id, columns, task):
+        logger.info("Updating leaderboard records")
+        leaderboard.records = get_records_from_dataset_repo(leaderboard.LEADERBOARD)
+        return filter_table(model_id, dataset_id, columns, task)
+
+    leaderboard_tab.select(
+        fn=update_leaderboard_records, 
+        inputs=[model_select, dataset_select, columns_select, task_select], 
+        outputs=[leaderboard_df])
 
     @gr.on(
         triggers=[
@@ -133,6 +137,7 @@ def get_demo(leaderboard_tab):
         outputs=[leaderboard_df],
     )
     def filter_table(model_id, dataset_id, columns, task):
+        print("filtering table")
         records = leaderboard.records
         # filter the table based on task
         df = records[(records["task"] == task)]