update scripts

app.py

@@ -154,11 +154,40 @@ with demo:
             )
 
         with gr.TabItem("🏅 MMLU", elem_id="llm-benchmark-MMLU", id=2):
+            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_mmlu,
                 interactive=False,
                 visible=True,
             )
+
+            hidden_leaderboard_table_for_search = gr.components.Dataframe(
+                value=df_mmlu,
+                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("📝 About", elem_id="llm-benchmark-tab-table", id=3):
             gr.Markdown(LLM_BENCHMARKS_TEXT, elem_classes="markdown-text")