Sort by average_score

server.py

@@ -198,6 +198,7 @@ class LeaderboardServer:
                 if key in dataframe.columns
             ]
             dataframe = dataframe[df_order]
+            dataframe = dataframe.sort("average_score")
             attributes_map_word_to_header = {key: value["abbreviation"] for key, value in self.tasks_metadata.items()}
             attributes_map_word_to_header.update(extra_attributes_map_word_to_header)
             attributes_map_word_to_header.update(visible_metrics_map_word_to_header)