cgeorgiaw HF Staff commited on
Commit
9936c7c
·
1 Parent(s): c8ce4d9

still trying to make the leaderboard

Browse files
Files changed (1) hide show
  1. app.py +1 -1
app.py CHANGED
@@ -113,7 +113,7 @@ def get_leaderboard(problem_type: str):
113
  filtered = ds.filter(lambda x: x["problem_type"] == problem_type and x["evaluated"])
114
 
115
  if len(filtered) == 0:
116
- return pd.DataFrame(columns=["submission_time", "problem_type", "score"])
117
 
118
  df = pd.DataFrame(filtered)
119
  score_field = "score" if "score" in df.columns else "objective" # fallback
 
113
  filtered = ds.filter(lambda x: x["problem_type"] == problem_type and x["evaluated"])
114
 
115
  if len(filtered) == 0:
116
+ return pd.DataFrame(columns=["submission_time", "problem_type", "feasibility", "score"])
117
 
118
  df = pd.DataFrame(filtered)
119
  score_field = "score" if "score" in df.columns else "objective" # fallback