still trying to make the leaderboard
Browse files
app.py
CHANGED
@@ -38,9 +38,7 @@ def get_leaderboard():
|
|
38 |
df = pd.DataFrame(ds)
|
39 |
|
40 |
df.rename(columns={'submission_time': 'submission time', 'problem_type': 'problem type'}, inplace=True)
|
41 |
-
df['user'] = df['user'].apply(lambda x: make_clickable(x)).astype(str)
|
42 |
-
|
43 |
-
|
44 |
score_field = "score" if "score" in df.columns else "objective" # fallback
|
45 |
|
46 |
df = df.sort_values(by=score_field, ascending=True)
|
@@ -58,9 +56,9 @@ def gradio_interface() -> gr.Blocks:
|
|
58 |
Leaderboard(
|
59 |
value=get_leaderboard(),
|
60 |
datatype=['str', 'date', 'str', 'str', 'bool', 'markdown', 'number', 'bool', 'number', 'number', 'str'],
|
61 |
-
select_columns=["submission time", "feasibility", "score", "problem type", "
|
62 |
search_columns=["submission time", "score", "user"],
|
63 |
-
hide_columns=["result_filename", "submission_filename", "minimize_objective", "boundary_json", "evaluated"],
|
64 |
filter_columns=["problem type"],
|
65 |
every=60,
|
66 |
render=True
|
|
|
38 |
df = pd.DataFrame(ds)
|
39 |
|
40 |
df.rename(columns={'submission_time': 'submission time', 'problem_type': 'problem type'}, inplace=True)
|
41 |
+
# df['user'] = df['user'].apply(lambda x: make_clickable(x)).astype(str)
|
|
|
|
|
42 |
score_field = "score" if "score" in df.columns else "objective" # fallback
|
43 |
|
44 |
df = df.sort_values(by=score_field, ascending=True)
|
|
|
56 |
Leaderboard(
|
57 |
value=get_leaderboard(),
|
58 |
datatype=['str', 'date', 'str', 'str', 'bool', 'markdown', 'number', 'bool', 'number', 'number', 'str'],
|
59 |
+
select_columns=["submission time", "feasibility", "score", "problem type", "user"],
|
60 |
search_columns=["submission time", "score", "user"],
|
61 |
+
hide_columns=["result_filename", "submission_filename", "objective", "minimize_objective", "boundary_json", "evaluated"],
|
62 |
filter_columns=["problem type"],
|
63 |
every=60,
|
64 |
render=True
|