still trying to make the leaderboard

app.py

@@ -108,15 +108,15 @@ def write_results(record, result):
 
 
 def get_leaderboard(problem_type: str):
-    ds = load_dataset(results_repo, split='train')
-    print(ds)
+    ds = load_dataset(results_repo, split='train', datafiles=f'{problem_type}/*.json')
+    df = ds.to_pandas()
 
     # 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"])
+    if len(df) == 0:
+        return pd.DataFrame(columns=["submission_time", "problem_type", "feasibility", "score"])
 
-    df = pd.DataFrame(ds)
+    # df = pd.DataFrame(ds)
     score_field = "score" if "score" in df.columns else "objective"  # fallback
 
     df = df.sort_values(by=score_field, ascending=True)
@@ -165,7 +165,7 @@ def gradio_interface() -> gr.Blocks:
                 value=leaderboard_df,
                 select_columns=["submission_time", "feasibility", "score", "objective"],
                 search_columns=["submission_time", "score"],
-                # hide_columns=["model_name_for_query", "Model Size"],
+                hide_columns=["result_filename", "submission_filename", "minimize_objective", "boundary_json"],
                 # filter_columns=["T", "Precision", "Model Size"],
             )