trying to write results

app.py

@@ -107,9 +107,9 @@ def write_results(record, result):
 
 
 def get_leaderboard(problem_type: str):
-    ds = load_dataset(results_repo, split=problem_type)
+    ds = load_dataset(results_repo, split='train')
 
-    filtered = ds.filter(lambda x: 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", "score"])