Update app.py

app.py

@@ -148,7 +148,7 @@ def filter_models(
     filtered_df = filtered_df.loc[mask]
     return filtered_df
 
-leaderboard_df = filter_models(leaderboard_df, [t.to_str(" : ") for t in ModelType], list(NUMERIC_INTERVALS.keys()), [i.value.name for i in Precision], False, False, False)
+leaderboard_df = filter_models(leaderboard_df, [t.to_str(" : ") for t in ModelType], list(NUMERIC_INTERVALS.keys()), [i.value.name for i in Precision], [i.value.name for i in AddSpecialTokens], False, False, False)
 
 demo = gr.Blocks(css=custom_css)
 with demo: