use Any instead of None

app_leaderboard.py

@@ -29,7 +29,7 @@ def get_model_ids(ds):
     models = ds["model_id"].tolist()
     # return unique elements in the list model_ids
     model_ids = list(set(models))
-    model_ids.insert(0, None)
+    model_ids.insert(0, "Any")
     return model_ids
 
 
@@ -37,7 +37,7 @@ def get_dataset_ids(ds):
     logging.info(f"Dataset {ds} column names: {ds['dataset_id']}")
     datasets = ds["dataset_id"].tolist()
     dataset_ids = list(set(datasets))
-    dataset_ids.insert(0, None)
+    dataset_ids.insert(0, "Any")
     return dataset_ids
 
 
@@ -91,10 +91,10 @@ def get_demo():
             interactive=True,
         )
         model_select = gr.Dropdown(
-            label="Model id", choices=model_ids, interactive=True
+            label="Model id", choices=model_ids, value=model_ids[0], interactive=True
         )
         dataset_select = gr.Dropdown(
-            label="Dataset id", choices=dataset_ids, interactive=True
+            label="Dataset id", choices=dataset_ids, value=dataset_ids[0], interactive=True
         )
 
     with gr.Row():
@@ -122,9 +122,9 @@ def get_demo():
         # filter the table based on task
         df = records[(records["task"] == task)]
         # filter the table based on the model_id and dataset_id
-        if model_id:
+        if model_id and model_id != "Any":
             df = df[(df['model_id'] == model_id)]
-        if dataset_id:
+        if dataset_id and dataset_id != "Any":
             df = df[(df['dataset_id'] == dataset_id)]
 
         # filter the table based on the columns