still trying to make the leaderboard

app.py

@@ -163,7 +163,7 @@ def gradio_interface() -> gr.Blocks:
             Leaderboard(
                 value=leaderboard_df,
                 select_columns=["submission_time", "feasability", "score", "objective"],
-                # search_columns=["model_name_for_query", "Type"],
+                search_columns=["submission_time", "score"],
                 # hide_columns=["model_name_for_query", "Model Size"],
                 # filter_columns=["T", "Precision", "Model Size"],
             )