trying to write results
Browse files
app.py
CHANGED
@@ -150,7 +150,7 @@ def gradio_interface() -> gr.Blocks:
|
|
150 |
gr.Markdown("# Leaderboard")
|
151 |
leaderboard_type = gr.Dropdown(PROBLEM_TYPES, value="geometrical", label="Problem Type")
|
152 |
refresh_btn = gr.Button("Refresh Leaderboard")
|
153 |
-
leaderboard_df =
|
154 |
|
155 |
# Trigger refresh when button is clicked
|
156 |
refresh_btn.click(
|
|
|
150 |
gr.Markdown("# Leaderboard")
|
151 |
leaderboard_type = gr.Dropdown(PROBLEM_TYPES, value="geometrical", label="Problem Type")
|
152 |
refresh_btn = gr.Button("Refresh Leaderboard")
|
153 |
+
leaderboard_df = get_leaderboard(leaderboard_type)
|
154 |
|
155 |
# Trigger refresh when button is clicked
|
156 |
refresh_btn.click(
|