fix search

app.py

@@ -60,13 +60,10 @@ def change_tab(query_param):
         return gr.Tabs.update(selected=0)
 
 
-def search_table(dfs, query):
-    filtered_dfs = []
-    for df in dfs:
-        filtered_df = filter_table(df, query)
-        filtered_dfs.append(filtered_df)
-
-    return filtered_dfs
+def search_tables(single_df, multi_df, query):
+    filtered_single = single_df[single_df["Model 🤗"].str.contains(query)]
+    filtered_multi = multi_df[multi_df["Model 🤗"].str.contains(query)]
+    return filtered_single, filtered_multi
 
 
 def filter_table(df, backends):
@@ -149,10 +146,11 @@ with demo:
                 max_rows=None,
                 visible=False,
             )
+
             search_bar.submit(
-                search_table,
-                [[single_A100_for_search, multi_A100_for_search], search_bar],
-                [single_A100_for_search, multi_A100_for_search],
+                search_tables,
+                [single_A100_for_search, multi_A100_for_search, search_bar],
+                [single_A100_leaderboard, multi_A100_leaderboard],
             )
             # backend_checkboxes.select(
             #     filter_table,