still trying to make the leaderboard

app.py

@@ -48,7 +48,7 @@ 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(),
                     datatype=['str', 'date', 'str', 'str', 'bool', 'html', 'number', 'bool', 'number', 'number', 'str'],
                     select_columns=["submission time", "feasibility", "score", "problem type", "objective", "user"],
@@ -56,14 +56,15 @@ def gradio_interface() -> gr.Blocks:
                     hide_columns=["result_filename", "submission_filename", "minimize_objective", "boundary_json", "evaluated"],
                     filter_columns=["problem type"],
                     every=60,
-                )
+                )'''
 
-                '''gr.Dataframe(
+                gr.Dataframe(
                     value=get_leaderboard(),
+                    datatype=['str', 'date', 'str', 'str', 'bool', 'html', 'number', 'bool', 'number', 'number', 'str'],
                     show_search='filter',
                     every=60,
                     render=True
-                )'''
+                )
 
             with gr.TabItem("About", elem_id="boundary-benchmark-tab-table"):
                 gr.Markdown(