update scripts

app.py

@@ -34,12 +34,53 @@ def restart_space():
 csv_path = f'{EVAL_RESULTS_PATH}/SeaExam_results.csv'
 df_m3exam, df_mmlu, df_avg = load_data(csv_path)
 
+# Searching and filtering
+def update_table(
+    hidden_df: pd.DataFrame,
+    # columns: list,
+    # type_query: list,
+    # precision_query: str,
+    # size_query: list,
+    # show_deleted: bool,
+    query: str,
+):
+    # filtered_df = filter_models(hidden_df, type_query, size_query, precision_query, show_deleted)
+    # filtered_df = filter_queries(query, filtered_df)
+    # df = select_columns(filtered_df, columns)
+    df = filter_queries(query, hidden_df)
+    return df
+
+def search_table(df: pd.DataFrame, query: str) -> pd.DataFrame:
+    return df[(df['Model'].str.contains(query, case=False))]
+
+def filter_queries(query: str, df: pd.DataFrame) -> pd.DataFrame:
+    final_df = []
+    if query != "":
+        queries = [q.strip() for q in query.split(";")]
+        for _q in queries:
+            _q = _q.strip()
+            if _q != "":
+                temp_filtered_df = search_table(df, _q)
+                if len(temp_filtered_df) > 0:
+                    final_df.append(temp_filtered_df)
+        if len(final_df) > 0:
+            filtered_df = pd.concat(final_df)
+
+    return filtered_df
+
 demo = gr.Blocks(css=custom_css)
 with demo:
     gr.HTML(TITLE)
-    # gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
+    gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
     with gr.Tabs(elem_classes="tab-buttons") as tabs:
         with gr.TabItem("🏅 Overall", elem_id="llm-benchmark-Sum", id=0):
+            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_avg,
                 # value=leaderboard_df[

src/display/about.py

@@ -20,7 +20,8 @@ TITLE = """<h1 align="center" id="space-title">SeaExam Leaderboard</h1>"""
 
 # What does your leaderboard evaluate?
 INTRODUCTION_TEXT = """
-Intro text
+🟢: pre-trained 
+🔶: fine-tuned
 """
 
 # Which evaluations are you running? how can people reproduce what you have?