Spaces:
Running
Running
♻️ (leaderboard.py): Refactor filter_leaderboard function parameters order for consistency
Browse files♻️ (leaderboard.py): Reorder dropdown creation to match the new parameter order in filter_leaderboard
♻️ (leaderboard.py): Update update_leaderboard function and its calls to match new parameter order
- leaderboard.py +8 -8
leaderboard.py
CHANGED
|
@@ -83,28 +83,28 @@ def build_leaderboard_tab(leaderboard_table_file):
|
|
| 83 |
|
| 84 |
df = pd.read_csv(leaderboard_table_file)
|
| 85 |
|
| 86 |
-
def filter_leaderboard(
|
| 87 |
filtered_df = df[(df['Timeout'] == timeout) & (df['Dataset'] == dataset)]
|
| 88 |
return filtered_df.drop(columns=['Timeout', 'Dataset'])
|
| 89 |
|
| 90 |
-
timeouts = df['Timeout'].unique().tolist()
|
| 91 |
datasets = df['Dataset'].unique().tolist()
|
|
|
|
| 92 |
|
| 93 |
with gr.Tab("Leaderboard"):
|
| 94 |
gr.Markdown(leaderboard_md, elem_id="leaderboard_markdown")
|
| 95 |
with gr.Row():
|
| 96 |
-
timeout_dropdown = gr.Dropdown(label="Timeout", choices=timeouts, value=timeouts[0])
|
| 97 |
dataset_dropdown = gr.Dropdown(label="Dataset", choices=datasets, value=datasets[0])
|
|
|
|
| 98 |
|
| 99 |
-
initial_data = filter_leaderboard(
|
| 100 |
leaderboard = gr.Dataframe(value=initial_data)
|
| 101 |
|
| 102 |
-
def update_leaderboard(
|
| 103 |
-
filtered_data = filter_leaderboard(
|
| 104 |
leaderboard.update(value=filtered_data)
|
| 105 |
|
| 106 |
-
|
| 107 |
-
|
| 108 |
|
| 109 |
with gr.Accordion("Citation", open=True):
|
| 110 |
gr.Markdown(citation_md, elem_id="leaderboard_markdown")
|
|
|
|
| 83 |
|
| 84 |
df = pd.read_csv(leaderboard_table_file)
|
| 85 |
|
| 86 |
+
def filter_leaderboard(dataset, timeout):
|
| 87 |
filtered_df = df[(df['Timeout'] == timeout) & (df['Dataset'] == dataset)]
|
| 88 |
return filtered_df.drop(columns=['Timeout', 'Dataset'])
|
| 89 |
|
|
|
|
| 90 |
datasets = df['Dataset'].unique().tolist()
|
| 91 |
+
timeouts = df['Timeout'].unique().tolist()
|
| 92 |
|
| 93 |
with gr.Tab("Leaderboard"):
|
| 94 |
gr.Markdown(leaderboard_md, elem_id="leaderboard_markdown")
|
| 95 |
with gr.Row():
|
|
|
|
| 96 |
dataset_dropdown = gr.Dropdown(label="Dataset", choices=datasets, value=datasets[0])
|
| 97 |
+
timeout_dropdown = gr.Dropdown(label="Timeout", choices=timeouts, value=timeouts[0])
|
| 98 |
|
| 99 |
+
initial_data = filter_leaderboard(datasets[0], timeouts[0])
|
| 100 |
leaderboard = gr.Dataframe(value=initial_data)
|
| 101 |
|
| 102 |
+
def update_leaderboard(dataset, timeout):
|
| 103 |
+
filtered_data = filter_leaderboard(dataset, timeout)
|
| 104 |
leaderboard.update(value=filtered_data)
|
| 105 |
|
| 106 |
+
dataset_dropdown.change(update_leaderboard, [dataset_dropdown, timeout_dropdown], leaderboard)
|
| 107 |
+
timeout_dropdown.change(update_leaderboard, [dataset_dropdown, timeout_dropdown], leaderboard)
|
| 108 |
|
| 109 |
with gr.Accordion("Citation", open=True):
|
| 110 |
gr.Markdown(citation_md, elem_id="leaderboard_markdown")
|