Start rank from 1

app.py

@@ -4,6 +4,7 @@ from pathlib import Path
 from re import sub
 
 import pandas as pd
+import numpy as np
 import requests
 import streamlit as st
 from datasets import get_dataset_config_names
@@ -69,8 +70,10 @@ def format_submissions(submissions):
 
     df = pd.DataFrame(submission_data)
     df.insert(2, "Overall", df[TASKS].mean(axis=1))
-    df = df.copy().sort_values("Overall", ascending=False).reset_index().rename(columns={"index": "Rank"})
+    df = df.copy().sort_values("Overall", ascending=False)
     df.rename(columns={k: v for k, v in zip(TASKS, FORMATTED_TASK_NAMES)}, inplace=True)
+    # Start ranking from 1
+    df.insert(0, "Rank", np.arange(1, len(df) + 1))
     return df