Compute average

app.py

@@ -163,6 +163,8 @@ def filter_columns(cols):
     df = df.copy()[new_cols]
     # Drop rows with NaN values
     df = df.copy().dropna(how="all", axis=0, subset=[c for c in df.columns if c in cols])
+    # Recompute average
+    df["Average"] = df.mean(axis=1, numeric_only=True)
     return df
 
 
@@ -183,7 +185,9 @@ with demo:
             )
         with gr.Row():
             cols_bar = gr.CheckboxGroup(
-                choices=list(leaderboard_df.columns[2:]), show_label=False, info="Select columns to display"
+                choices=[c for c in leaderboard_df.columns[2:] if c != "Average"],
+                show_label=False,
+                info="Select columns to display",
             )
         with gr.Group():
             leaderboard_df = get_leaderboard_df()