still trying to make the leaderboard

app.py

@@ -109,13 +109,14 @@ def write_results(record, result):
 
 def get_leaderboard(problem_type: str):
     ds = load_dataset(results_repo, split='train')
+    print(ds)
 
-    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(filtered) == 0:
+    #    return pd.DataFrame(columns=["submission_time", "problem_type", "feasibility", "score"])
 
-    df = pd.DataFrame(filtered)
+    df = pd.DataFrame(ds)
     score_field = "score" if "score" in df.columns else "objective"  # fallback
 
     df = df.sort_values(by=score_field, ascending=True)