Update app.py

app.py

@@ -2,6 +2,13 @@ from utils import *
 
 global data_component
 
+
+def update_table(query):
+    df = get_df()
+    filtered_df = search_models(df, query)
+    return filtered_df
+
+
 with gr.Blocks() as block:
     gr.Markdown(
         LEADERBOARD_INTRODUCTION
@@ -21,6 +28,12 @@ with gr.Blocks() as block:
                 TABLE_INTRODUCTION
             )
 
+            search_bar = gr.Textbox(
+                placeholder="Search models...",
+                show_label=False,
+                elem_id="search-bar"
+            )
+
             data_component = gr.components.Dataframe(
                 value=get_df(),
                 headers=COLUMN_NAMES,
@@ -31,6 +44,7 @@ with gr.Blocks() as block:
                 height=1000
             )
             refresh_button = gr.Button("Refresh")
+            search_bar.change(fn=update_table, inputs=[search_bar], outputs=data_component)
             refresh_button.click(fn=refresh_data, outputs=data_component)
 
         # table 2