Abbreviation

server.py

@@ -122,7 +122,7 @@ class LeaderboardServer:
             )
             dataframe = dataframe[df_order]
             dataframe = dataframe.rename(
-                columns={key: value["name"] for key, value in self.tasks_metadata.items()}
+                columns={key: value["abbreviation"] for key, value in self.tasks_metadata.items()}
             )
             return dataframe