still trying to make the leaderboard

app.py

@@ -43,20 +43,20 @@ def gradio_interface() -> gr.Blocks:
         with gr.Tabs(elem_classes="tab-buttons"):
             with gr.TabItem("Leaderboard", elem_id="boundary-benchmark-tab-table"):                
                 gr.Markdown("# Boundary Design Leaderboard")
-                leaderboard_df = get_leaderboard()
 
                 Leaderboard(
-                    value=leaderboard_df,
+                    value=get_leaderboard(),
                     select_columns=["submission_time", "feasibility", "score", "objective", "user"],
                     search_columns=["submission_time", "score", "user"],
                     hide_columns=["result_filename", "submission_filename", "minimize_objective", "boundary_json", "evaluated"],
                     filter_columns=["problem_type"],
+                    every=60,
                 )
 
-                # def update_leaderboard(problem_type):
-                #     return get_leaderboard(problem_type)
+                '''def update_leaderboard():
+                     return get_leaderboard()
                 
-                # leaderboard_type.change(fn=update_leaderboard, inputs=leaderboard_type, outputs=leaderboard_df)
+                gr.update(fn=update_leaderboard, inputs=leaderboard_type, outputs=leaderboard_df)'''
             with gr.TabItem("About", elem_id="boundary-benchmark-tab-table"):
                 gr.Markdown(
                     """