still trying to make the leaderboard
Browse files
app.py
CHANGED
@@ -119,12 +119,8 @@ def get_user(profile: gr.OAuthProfile | None) -> str:
|
|
119 |
return profile.name
|
120 |
|
121 |
def get_leaderboard(problem_type: str):
|
122 |
-
|
123 |
-
|
124 |
-
df = pd.DataFrame(ds)
|
125 |
-
except:
|
126 |
-
df = pd.DataFrame(columns=["submission_time", "feasibility", "score", "objective", "result_filename", "submission_filename", "minimize_objective", "boundary_json", "evaluated", "user"])
|
127 |
-
|
128 |
|
129 |
score_field = "score" if "score" in df.columns else "objective" # fallback
|
130 |
|
@@ -136,7 +132,7 @@ def gradio_interface() -> gr.Blocks:
|
|
136 |
with gr.Tabs(elem_classes="tab-buttons"):
|
137 |
with gr.TabItem("Leaderboard", elem_id="boundary-benchmark-tab-table"):
|
138 |
gr.Markdown("# Boundary Design Leaderboard")
|
139 |
-
leaderboard_type = gr.Dropdown(PROBLEM_TYPES, value="
|
140 |
leaderboard_df = get_leaderboard(leaderboard_type)
|
141 |
|
142 |
Leaderboard(
|
|
|
119 |
return profile.name
|
120 |
|
121 |
def get_leaderboard(problem_type: str):
|
122 |
+
ds = load_dataset(results_repo, split='train')
|
123 |
+
df = pd.DataFrame(ds)
|
|
|
|
|
|
|
|
|
124 |
|
125 |
score_field = "score" if "score" in df.columns else "objective" # fallback
|
126 |
|
|
|
132 |
with gr.Tabs(elem_classes="tab-buttons"):
|
133 |
with gr.TabItem("Leaderboard", elem_id="boundary-benchmark-tab-table"):
|
134 |
gr.Markdown("# Boundary Design Leaderboard")
|
135 |
+
leaderboard_type = gr.Dropdown(PROBLEM_TYPES, value="simple_to_build", label="Problem Type")
|
136 |
leaderboard_df = get_leaderboard(leaderboard_type)
|
137 |
|
138 |
Leaderboard(
|