still trying to make the leaderboard

app.py

@@ -7,7 +7,7 @@ import pandas as pd
 
 import gradio as gr
 from datasets import load_dataset
-from huggingface_hub import upload_file, hf_hub_download
+from huggingface_hub import upload_file, hf_hub_download, list_files_info
 from gradio_leaderboard import ColumnFilter, Leaderboard, SelectColumns
 from evaluation import evaluate_problem
 from datetime import datetime
@@ -33,13 +33,12 @@ def make_clickable(name):
     link =f'https://huggingface.co/{name}'
     return f'<a target="_blank" href="{link}" style="color: var(--link-text-color); text-decoration: underline;text-decoration-style: dotted;">{name}</a>'
 
-
 def get_leaderboard():
     ds = load_dataset(results_repo, split='train')
     df = pd.DataFrame(ds)
 
     df.rename(columns={'submission_time': 'submission time', 'problem_type': 'problem type'}, inplace=True)
-    df['user'] = df['user'].apply(lambda x: make_clickable(x)).astype(str)
+    # df['user'] = df['user'].apply(lambda x: make_clickable(x)).astype(str)
     score_field = "score" if "score" in df.columns else "objective"  # fallback
 
     df = df.sort_values(by=score_field, ascending=True)
@@ -73,6 +72,9 @@ def gradio_interface() -> gr.Blocks:
                 """
                 )
 
+                # dropdown = gr.Dropdown(choices=filenames, label="Choose a file")
+                # plot_output = gr.Plot()
+
             with gr.TabItem("Submit", elem_id="boundary-benchmark-tab-table"):
                 gr.Markdown(
                     """