still trying to make the leaderboard

app.py

@@ -31,6 +31,8 @@ def get_leaderboard():
     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)
 
     score_field = "score" if "score" in df.columns else "objective"  # fallback