Add filter

app.py

@@ -78,11 +78,11 @@ def init_leaderboard(dataframe):
         filter_columns=[
             # ColumnFilter(AutoEvalColumn.model_type.name, type="checkboxgroup", label="Model types"),
             # ColumnFilter(AutoEvalColumn.precision.name, type="checkboxgroup", label="Precision"),
-            # ColumnFilter(
-            #     AutoEvalColumn.seq_length.name,
-            #     type="checkboxgroup",
-            #     label="Select the Sequence Lengths",
-            # ),
+            ColumnFilter(
+                AutoEvalColumn.seq_length.name,
+                type="checkboxgroup",
+                label="Select the Sequence Lengths",
+            )
             # ColumnFilter(AutoEvalColumn.still_on_hub.name, type="boolean", label="Deleted/incomplete", default=True),
         ],
         # bool_checkboxgroup_label="Hide models",