next step

app.py

@@ -493,12 +493,23 @@ def gradio_app():
                     with gr.Row():
                         Leaderboard(
                             value=leaderboard_dataframe,
-                            select_columns=["T", "Model", "Average ⬆️", "ARC",
-                                "HellaSwag", "MMLU", "TruthfulQA",
-                                "Winogrande", "GSM8K"],
-                            search_columns=["model_name_for_query", "Type"],
-                            hide_columns=["model_name_for_query", "Model Size"],
-                            filter_columns=["T", "Precision", "Model Size"],
+                            select_columns=SelectColumns(
+                                default_selection=None,
+                                cant_deselect=["Model"],
+                                label="Select Columns to Display:",
+                            ),
+                            search_columns=["Model", "Type"],
+                            hide_columns=[],
+                            filter_columns=[
+                                ColumnFilter("Type", type="checkboxgroup", label="Model types"),
+                                ColumnFilter(
+                                    "# θ (B)",
+                                    type="slider",
+                                    min=0.01,
+                                    max=150, # TODO: Max in leaderboard_dataframe
+                                    label="Select the number of parameters (B)",
+                                ),
+                            ],
                         )
                     
                     with gr.Row():