rank

app.py

@@ -78,14 +78,14 @@ def style_df(df: pd.DataFrame) -> Styler:
 
     leaderboard_df_styled = df.style.background_gradient(cmap="RdYlGn")
 
-    inverted_colors_columns = []
+    inverted_colors_columns = ['rank']
     if "poleval2018_task3_test_10k" in df.columns:
         inverted_colors_columns.append("poleval2018_task3_test_10k")
     if '#Params (B)' in df.columns:
         inverted_colors_columns.append("#Params (B)")
 
     leaderboard_df_styled = leaderboard_df_styled.background_gradient(cmap="RdYlGn_r", subset=inverted_colors_columns)
-    rounding = {'#Params (B)': "{:.1f}"}
+    rounding = {'#Params (B)': "{:.1f}", 'rank': "{:.0f}"}
     for task in Tasks:
         rounding[task.value.col_name] = "{:.2f}"
     for column_name in ["Average ⬆️", "Avg g", "Avg mc", "Average old", "Avg RAG"]: