change_leaderboard_category

app.py

@@ -121,6 +121,13 @@ def fetch_model_detail(submission_id):
         gr.update(value=metadata['link_to_model'], visible=True)
     )
 
+def change_leaderboard_category(category):
+    return (
+        gr.update(
+            value=leaderboard_server.get_leaderboard(category=category),
+            datatype="markdown",
+        ),
+    )
 
 def show_modal():
     return gr.update(visible=True)
@@ -208,6 +215,7 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                 with gr.Row():
                     category_of_tasks = gr.Dropdown(
                         choices=[leaderboard_server.tasks_category_overall] + list(leaderboard_server.tasks_categories),
+                        value=leaderboard_server.tasks_category_overall,
                         label="Category of benchmark",
                         interactive=True,
                     )
@@ -221,6 +229,12 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                         datatype="markdown",
                         elem_classes="leaderboard-table",
                     )
+                
+                category_of_tasks.change(
+                    fn=change_leaderboard_category,
+                    inputs=[category_of_tasks],
+                    outputs=[results_table],
+                )
 
         with gr.Tab('Model details'):
             gr.Markdown(MORE_DETAILS_MARKDOWN)