Update app.py

app.py

@@ -211,6 +211,13 @@ with demo:
                         interactive=True,
                         elem_id="filter-columns-size",
                     )
+                    filter_columns_add_special_tokens = gr.CheckboxGroup(
+                        label="Add Special Tokens",
+                        choices=[i.value.name for i in AddSpecialTokens],
+                        value=[i.value.name for i in AddSpecialTokens],
+                        interactive=True,
+                        elem_id="filter-columns-add-special-tokens",
+                    )
 
             leaderboard_table = gr.components.Dataframe(
                 value=leaderboard_df[
@@ -241,6 +248,7 @@ with demo:
                     filter_columns_type,
                     filter_columns_precision,
                     filter_columns_size,
+                    filter_columns_add_special_tokens,
                     deleted_models_visibility,
                     merged_models_visibility,
                     flagged_models_visibility,
@@ -259,6 +267,7 @@ with demo:
                     filter_columns_type,
                     filter_columns_precision,
                     filter_columns_size,
+                    filter_columns_add_special_tokens,
                     deleted_models_visibility,
                     merged_models_visibility,
                     flagged_models_visibility,
@@ -269,7 +278,7 @@ with demo:
             # Check query parameter once at startup and update search bar + hidden component
             demo.load(load_query, inputs=[], outputs=[search_bar, hidden_search_bar])
             
-            for selector in [shown_columns, filter_columns_type, filter_columns_precision, filter_columns_size, deleted_models_visibility, merged_models_visibility, flagged_models_visibility]:
+            for selector in [shown_columns, filter_columns_type, filter_columns_precision, filter_columns_size, filter_columns_add_special_tokens, deleted_models_visibility, merged_models_visibility, flagged_models_visibility]:
                 selector.change(
                     update_table,
                     [
@@ -278,6 +287,7 @@ with demo:
                         filter_columns_type,
                         filter_columns_precision,
                         filter_columns_size,
+                        filter_columns_add_special_tokens,
                         deleted_models_visibility,
                         merged_models_visibility,
                         flagged_models_visibility,