Update app.py

app.py

@@ -201,8 +201,9 @@ with demo:
                 info="Select columns to display",
             )
         with gr.Group():
+            sorted_leaderboard_df = agg_df(leaderboard_df, agg="mean")
             leaderboard_table = gr.Dataframe(
-                value=leaderboard_df,
+                value=sorted_leaderboard_df, #leaderboard_df,
                 wrap=True,
                 height=1000,
                 column_widths=[400, 110] + [(260 + len(c)) for c in leaderboard_df.columns[1:]],