style theme
Browse files
app.py
CHANGED
|
@@ -587,7 +587,6 @@ with demo:
|
|
| 587 |
with tabs:
|
| 588 |
with gr.TabItem("Leaderboard", elem_id="guardbench-leaderboard-tab", id=0):
|
| 589 |
with gr.Row():
|
| 590 |
-
refresh_button = gr.Button("Refresh Leaderboard")
|
| 591 |
version_selector = gr.Dropdown(
|
| 592 |
choices=BENCHMARK_VERSIONS,
|
| 593 |
label="Benchmark Version",
|
|
@@ -602,22 +601,27 @@ with demo:
|
|
| 602 |
search_input = gr.Textbox(
|
| 603 |
placeholder="Search models (separate queries with ;)...",
|
| 604 |
label="Search",
|
| 605 |
-
elem_id="search-bar"
|
|
|
|
| 606 |
)
|
| 607 |
model_type_filter = gr.Dropdown(
|
| 608 |
choices=[t.to_str(" : ") for t in ModelType if t != ModelType.Unknown],
|
| 609 |
label="Filter by Model Type",
|
| 610 |
multiselect=True,
|
| 611 |
value=[],
|
| 612 |
-
interactive=True
|
|
|
|
| 613 |
)
|
| 614 |
column_selector = gr.Dropdown(
|
| 615 |
choices=get_all_column_choices(),
|
| 616 |
label="Customize Columns",
|
| 617 |
multiselect=True,
|
| 618 |
value=get_initial_columns(),
|
| 619 |
-
interactive=True
|
|
|
|
| 620 |
)
|
|
|
|
|
|
|
| 621 |
|
| 622 |
# Create tabs for each category
|
| 623 |
with gr.Tabs(elem_classes="category-tabs") as category_tabs:
|
|
|
|
| 587 |
with tabs:
|
| 588 |
with gr.TabItem("Leaderboard", elem_id="guardbench-leaderboard-tab", id=0):
|
| 589 |
with gr.Row():
|
|
|
|
| 590 |
version_selector = gr.Dropdown(
|
| 591 |
choices=BENCHMARK_VERSIONS,
|
| 592 |
label="Benchmark Version",
|
|
|
|
| 601 |
search_input = gr.Textbox(
|
| 602 |
placeholder="Search models (separate queries with ;)...",
|
| 603 |
label="Search",
|
| 604 |
+
elem_id="search-bar",
|
| 605 |
+
scale=2
|
| 606 |
)
|
| 607 |
model_type_filter = gr.Dropdown(
|
| 608 |
choices=[t.to_str(" : ") for t in ModelType if t != ModelType.Unknown],
|
| 609 |
label="Filter by Model Type",
|
| 610 |
multiselect=True,
|
| 611 |
value=[],
|
| 612 |
+
interactive=True,
|
| 613 |
+
scale=0
|
| 614 |
)
|
| 615 |
column_selector = gr.Dropdown(
|
| 616 |
choices=get_all_column_choices(),
|
| 617 |
label="Customize Columns",
|
| 618 |
multiselect=True,
|
| 619 |
value=get_initial_columns(),
|
| 620 |
+
interactive=True,
|
| 621 |
+
scale=0
|
| 622 |
)
|
| 623 |
+
with gr.Row():
|
| 624 |
+
refresh_button = gr.Button("Refresh Leaderboard", scale=0)
|
| 625 |
|
| 626 |
# Create tabs for each category
|
| 627 |
with gr.Tabs(elem_classes="category-tabs") as category_tabs:
|