still trying to make the leaderboard

app.py

@@ -106,6 +106,10 @@ def write_results(record, result):
     pathlib.Path(tmp_name).unlink()
     return
 
+def get_user_profile(profile: gr.OAuthProfile | None) -> str:
+    if profile is None:
+        return "Please login to submit a boundary for evaluation."
+    return profile.name
 
 def get_leaderboard(problem_type: str):
     ds = load_dataset(results_repo, split='train')
@@ -133,7 +137,7 @@ def gradio_interface() -> gr.Blocks:
                     value=leaderboard_df,
                     select_columns=["submission_time", "feasibility", "score", "objective"],
                     search_columns=["submission_time", "score"],
-                    hide_columns=["result_filename", "submission_filename", "minimize_objective", "boundary_json"],
+                    hide_columns=["result_filename", "submission_filename", "minimize_objective", "boundary_json", "evaluated"],
                     # filter_columns=["T", "Precision", "Model Size"],
                 )
             with gr.TabItem("Submit", elem_id="boundary-benchmark-tab-table"):
@@ -143,6 +147,11 @@ def gradio_interface() -> gr.Blocks:
                 Upload your plasma boundary JSON and select the problem type to get your score.
                 """
                 )
+
+                gr.LoginButton()
+                m1 = gr.Markdown()
+                demo.load(get_user_profile, inputs=None, outputs=m1)
+
                 with gr.Row():
                     problem_type = gr.Dropdown(
                         PROBLEM_TYPES, label="Problem Type", value="geometrical"