update to names

app.py

@@ -28,7 +28,7 @@ with demo:
     gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
 
     with gr.Tabs(elem_classes="tab-buttons") as tabs:
-        with gr.TabItem("🥇 Clem Leaderboard", elem_id="llm-benchmark-tab-table", id=0):
+        with gr.TabItem("🥇 CLEM Leaderboard", elem_id="llm-benchmark-tab-table", id=0):
             with gr.Row():
                 search_bar = gr.Textbox(
                     placeholder=" 🔍 Search for models - separate multiple queries with `;` and press ENTER...",

src/utils.py

@@ -18,7 +18,7 @@ def update_cols(df: pd.DataFrame) -> pd.DataFrame:
     default_cols = list(df.columns)
 
     # First 4 columns are initalised in 'update', Append additional columns for games Model, Clemscore, ALL(PLayed) and ALL(Main Score)
-    update = ['Model', 'Clemscore', 'All(Played)', 'All(Quality Score)']
+    update = ['Model', 'Clemscore', 'Played', 'Quality Score']
     game_metrics = default_cols[4:]
 
     # Change columns Names for each Game