Update app.py

app.py

@@ -61,7 +61,27 @@ for col in original_df.columns:
         original_df[col] = original_df[col].apply(lambda x: x.replace(x, make_clickable_model(x)))
     else:
         original_df[col] = original_df[col].apply(formatter) # For numerical values
-        whisper_df[col] = whisper_df[col].apply(formatter) # For numerical values
+
+def filter_whisper_table(backends, device):
+    filtered_df = whisper_df.copy()
+    
+    # Handle backend filtering
+    if backends and "All" not in backends:
+        filtered_df = filtered_df[filtered_df["Backend"].isin(backends)]
+    
+    # Handle device filtering
+    if device != "All" and "Device" in filtered_df.columns:
+        filtered_df = filtered_df[filtered_df["Device"] == device]
+        
+    return filtered_df
+    
+# Add clickable links for whisper models too
+for col in whisper_df.columns:
+    if col == "model":
+        whisper_df[col] = whisper_df[col].apply(lambda x: x.replace(x, make_clickable_model(x)))
+    else:
+        whisper_df[col] = whisper_df[col].apply(formatter)
+
 original_df.rename(columns=column_names, inplace=True)
 original_df.sort_values(by='Average WER ⬇️', inplace=True)
 whisper_df.rename(columns=whisper_column_names, inplace=True)
@@ -141,11 +161,11 @@ with gr.Blocks(css=LEADERBOARD_CSS) as demo:
             
             with gr.Row():
                 backend_filter = gr.Dropdown(
-                    choices=["All"] + sorted(whisper_df["Backend"].unique().tolist()),
+                    choices= sorted(whisper_df["Backend"].unique().tolist()),
                     value="All",
                     label="Filter by Backend",
                     elem_id="backend-filter",
-                    multiselect=True  # Enable multiple selection
+                    multiselect=True,  # Enable multiple selection
                 )   
                 device_choices = ["All"] + sorted(whisper_df["Device"].unique().tolist()) if "Device" in whisper_df.columns else ["All"]
                 device_filter = gr.Dropdown(
@@ -153,7 +173,8 @@ with gr.Blocks(css=LEADERBOARD_CSS) as demo:
                     value="All",
                     label="Filter by Device",
                     elem_id="device-filter",
-                    multiselect=True  # Enable multiple selection
+                    multiselect=False,  # Single selection
+                    allow_custom_value=False  # Prevent custom input
                 )
             
             whisper_table = gr.components.Dataframe(
@@ -164,19 +185,6 @@ with gr.Blocks(css=LEADERBOARD_CSS) as demo:
                 visible=True,
             )
 
-            def filter_whisper_table(backends, devices):
-                filtered_df = whisper_df.copy()
-                
-                # Handle backend filtering
-                if backends and "All" not in backends:
-                    filtered_df = filtered_df[filtered_df["Backend"].isin(backends)]
-                
-                # Handle device filtering
-                if devices and "All" not in devices and "Device" in filtered_df.columns:
-                    filtered_df = filtered_df[filtered_df["Device"].isin(devices)]
-                    
-                return filtered_df
-
             backend_filter.change(
                 filter_whisper_table,
                 inputs=[backend_filter, device_filter],
@@ -204,6 +212,9 @@ with gr.Blocks(css=LEADERBOARD_CSS) as demo:
                     btn_submitt.click(request_model, 
                                       [model_name_textbox, chb_coco2017], 
                                       mdw_submission_result)
+        # add an about section
+        with gr.TabItem("🤗 About", elem_id="od-benchmark-tab-table", id=4):
+            gr.Markdown("## About", elem_classes="markdown-text")
 
     gr.Markdown(f"Last updated on **{LAST_UPDATED}**", elem_classes="markdown-text")