still trying to make the leaderboard

app.py

@@ -48,20 +48,22 @@ 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"],
                     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(
+                '''gr.Dataframe(
                     value=get_leaderboard(),
+                    show_search='filter',
                     every=60,
                     render=True
-                )
+                )'''
 
             with gr.TabItem("About", elem_id="boundary-benchmark-tab-table"):
                 gr.Markdown(