Fix search

app.py

@@ -95,9 +95,9 @@ def update_table(search_query):
     df = get_leaderboard_df()
     if search_query:
         search_terms = search_query.split(";")
-        search_terms = [term.strip() for term in search_terms]
+        search_terms = [term.strip().lower() for term in search_terms]
         pattern = "|".join(search_terms)
-        df = df[df["Model"].str.contains(pattern, regex=True)]
+        df = df[df["Model"].str.lower().str.contains(pattern, regex=True)]
     return df