still trying to make the leaderboard

app.py

@@ -108,15 +108,13 @@ def write_results(record, result):
 
 
 def get_leaderboard(problem_type: str):
-    ds = load_dataset(results_repo, split='train', datafiles=f'{problem_type}/*.json')
-    df = ds.to_pandas()
+    ds = load_dataset(results_repo, split='train')
 
-    # filtered = ds.filter(lambda x: x["problem_type"] == problem_type and x["evaluated"])
+    # 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)