Spaces:
Running
Running
Finally it works
Browse files
app.py
CHANGED
|
@@ -214,14 +214,14 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
|
|
| 214 |
with gr.Row():
|
| 215 |
category_of_tasks = gr.Dropdown(
|
| 216 |
choices=[leaderboard_server.tasks_category_overall] + list(leaderboard_server.tasks_categories),
|
| 217 |
-
value=
|
| 218 |
-
label="Category of
|
| 219 |
interactive=True,
|
| 220 |
)
|
| 221 |
|
| 222 |
with gr.Row():
|
| 223 |
results_table = gr.DataFrame(
|
| 224 |
-
leaderboard_server.get_leaderboard(
|
| 225 |
interactive=False,
|
| 226 |
label=None,
|
| 227 |
visible=True,
|
|
|
|
| 214 |
with gr.Row():
|
| 215 |
category_of_tasks = gr.Dropdown(
|
| 216 |
choices=[leaderboard_server.tasks_category_overall] + list(leaderboard_server.tasks_categories),
|
| 217 |
+
value=leaderboard_server.tasks_category_overall,
|
| 218 |
+
label="Category of benchmarks",
|
| 219 |
interactive=True,
|
| 220 |
)
|
| 221 |
|
| 222 |
with gr.Row():
|
| 223 |
results_table = gr.DataFrame(
|
| 224 |
+
leaderboard_server.get_leaderboard(),
|
| 225 |
interactive=False,
|
| 226 |
label=None,
|
| 227 |
visible=True,
|