Add ranking and prettify column names

app.py

@@ -14,6 +14,8 @@ auth_token = os.getenv("HF_HUB_TOKEN")
 header = {"Authorization": "Bearer " + auth_token}
 
 TASKS = get_dataset_config_names("ought/raft")
+# Split and capitalize the task names, e.g. banking_77 => Banking 77
+FORMATTED_TASK_NAMES = [" ".join(t.capitalize() for t in task.split("_")) for task in TASKS]
 
 
 def extract_tags(dataset):
@@ -61,7 +63,8 @@ def format_submissions(submissions):
 
     df = pd.DataFrame(submission_data)
     df.insert(1, "Overall", df[TASKS].mean(axis=1))
-
+    df = df.copy().sort_values("Overall", ascending=False).reset_index().rename(columns={"index": "Rank"})
+    df.rename(columns={k: v for k, v in zip(TASKS, FORMATTED_TASK_NAMES)}, inplace=True)
     return df