update scripts

app.py

@@ -95,11 +95,19 @@ with demo:
                 visible=True,
                 # column_widths=["20%", "6%", "8%", "6%", "8%", "8%", "6%", "6%", "6%", "6%", "6%"],
             )
+
+            hidden_leaderboard_table_for_search = gr.components.Dataframe(
+                value=df_avg,
+                # elem_id="leaderboard-table",
+                interactive=False,
+                visible=False,
+            )
+
             search_bar.submit(
                 update_table,
                 [   
-                    df_avg,
-                    # hidden_leaderboard_table_for_search,
+                    # df_avg,
+                    hidden_leaderboard_table_for_search,
                     # shown_columns,
                     # filter_columns_type,
                     # filter_columns_precision,