update scripts

app.py

@@ -119,11 +119,40 @@ with demo:
                 leaderboard_table,
             )
         with gr.TabItem("🏅 M3Exam", elem_id="llm-benchmark-M3Exam", id=1):
+            with gr.Row():
+                search_bar = gr.Textbox(
+                    placeholder=" 🔍 Search for your model (separate multiple queries with `;`) and press ENTER...",
+                    show_label=False,
+                    elem_id="search-bar",
+                )
+
             leaderboard_table = gr.components.Dataframe(
                 value=df_m3exam,
                 interactive=False,
                 visible=True,
             )
+
+            hidden_leaderboard_table_for_search = gr.components.Dataframe(
+                value=df_m3exam,
+                interactive=False,
+                visible=False,
+            )
+
+            search_bar.submit(
+                update_table,
+                [   
+                    # df_avg,
+                    hidden_leaderboard_table_for_search,
+                    # shown_columns,
+                    # filter_columns_type,
+                    # filter_columns_precision,
+                    # filter_columns_size,
+                    # deleted_models_visibility,
+                    search_bar,
+                ],
+                leaderboard_table,
+            )
+
         with gr.TabItem("🏅 MMLU", elem_id="llm-benchmark-MMLU", id=2):
             leaderboard_table = gr.components.Dataframe(
                 value=df_mmlu,