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(
|