label update

app.py

@@ -186,7 +186,7 @@ def fetch_and_format_leaderboard():
         leaderboard.append({
             "model": model_name,
             "win_rate": win_rate,
-            "elo_rating": elo_rating
+            "TrueSkill rating": elo_rating
         })
 
     # Sort the leaderboard by elo_rating in descending order
@@ -195,7 +195,7 @@ def fetch_and_format_leaderboard():
     leaderboard_df['Rank'] = [1,2,3,4,5,6]#leaderboard_df['win_rate'].rank(method='max', ascending=False).astype(int)
 
     # Reorder columns to match your requirement
-    leaderboard_df = leaderboard_df[['Rank', 'model', 'win_rate', 'elo_rating'
+    leaderboard_df = leaderboard_df[['Rank', 'model', 'win_rate', 'TrueSkill rating'
                                      ]]
 
     # Format the DataFrame as a string for display; you might adjust this part based on how Gradio expects the data