still trying to make the leaderboard

app.py

@@ -119,17 +119,16 @@ def get_user(profile: gr.OAuthProfile | None) -> str:
     return profile.name
 
 def get_leaderboard(problem_type: str):
-    ds = load_dataset(results_repo, split='train')
-
-    # filtered = ds.filter(lambda x: x[“problem_type”] == problem_type and x[“evaluated”])
-    #if len(filtered) == 0:
-    #    return pd.DataFrame(columns=[“submission_time”, “problem_type”, “feasibility”, “score”])
+    try:
+        ds = load_dataset(results_repo, split='train')
+        df = pd.DataFrame(ds)
+    except:
+        df = pd.DataFrame(columns=["submission_time", "feasibility", "score", "objective", "result_filename", "submission_filename", "minimize_objective", "boundary_json", "evaluated", "user"])
 
-    df = pd.DataFrame(ds)
+    
     score_field = "score" if "score" in df.columns else "objective"  # fallback
 
     df = df.sort_values(by=score_field, ascending=True)
-    # leaderboard = df[["submission_time", "problem_type", score_field]].reset_index(drop=True)
     return df
 
 def gradio_interface() -> gr.Blocks:
@@ -142,7 +141,7 @@ def gradio_interface() -> gr.Blocks:
 
                 Leaderboard(
                     value=leaderboard_df,
-                    select_columns=["submission_time", "feasibility", "score", "objective"],
+                    select_columns=["submission_time", "feasibility", "score", "objective", "user"],
                     search_columns=["submission_time", "score"],
                     hide_columns=["result_filename", "submission_filename", "minimize_objective", "boundary_json", "evaluated"],
                     # filter_columns=["T", "Precision", "Model Size"],