still trying to make the leaderboard

app.py

@@ -26,13 +26,18 @@ def evaluate_boundary(filename):
     write_results(data_dict, result)
     return
 
+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: f'<a href="https://huggingface.co/{x}">{x}</a>').astype(str)
-    # df = df.to_html(escape=False, render_links=True)
+    df['user'] = df['user'].apply(lambda x: make_clickable(x)).astype(str)
+    
 
     score_field = "score" if "score" in df.columns else "objective"  # fallback
 
@@ -48,7 +53,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,15 +61,16 @@ def gradio_interface() -> gr.Blocks:
                     hide_columns=["result_filename", "submission_filename", "minimize_objective", "boundary_json", "evaluated"],
                     filter_columns=["problem type"],
                     every=60,
-                )'''
+                    render=True
+                )
 
-                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(