still trying to make the leaderboard

app.py

@@ -48,19 +48,21 @@ def gradio_interface() -> gr.Blocks:
             with gr.TabItem("Leaderboard", elem_id="boundary-benchmark-tab-table"):                
                 gr.Markdown("# Boundary Design Leaderboard")
 
-                Leaderboard(
+                '''Leaderboard(
                     value=get_leaderboard(),
                     select_columns=["submission time", "feasibility", "score", "problem type", "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,
+                )'''
+
+                gr.Dataframe(
+                    value=get_leaderboard(),
+                    every=60,
+                    render=True
                 )
 
-                '''def update_leaderboard():
-                     return get_leaderboard()
-                
-                gr.update(fn=update_leaderboard, inputs=leaderboard_type, outputs=leaderboard_df)'''
             with gr.TabItem("About", elem_id="boundary-benchmark-tab-table"):
                 gr.Markdown(
                     """