Fix again
Browse files
app.py
CHANGED
|
@@ -118,12 +118,6 @@ def get_leaderboard_df(merge_values: bool = True):
|
|
| 118 |
# Trim AIMO column names
|
| 119 |
df.columns = [c.replace("aimo_", "") for c in df.columns]
|
| 120 |
|
| 121 |
-
# Rename old AIMO columns
|
| 122 |
-
df.rename(
|
| 123 |
-
columns={"tora_eval_kaggle_medium": "kaggle_tora_medium", "kaggle_fast_eval_hard": "kaggle_tora_hard"},
|
| 124 |
-
inplace=True,
|
| 125 |
-
)
|
| 126 |
-
|
| 127 |
df.insert(loc=1, column="Average", value=df.mean(axis=1, numeric_only=True))
|
| 128 |
|
| 129 |
# Convert all values to percentage
|
|
|
|
| 118 |
# Trim AIMO column names
|
| 119 |
df.columns = [c.replace("aimo_", "") for c in df.columns]
|
| 120 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 121 |
df.insert(loc=1, column="Average", value=df.mean(axis=1, numeric_only=True))
|
| 122 |
|
| 123 |
# Convert all values to percentage
|