Simplify column names

app.py

@@ -75,7 +75,10 @@ def to_dataframe(data):
 def filter_results(df):
     df = df.loc[:, df.columns.str[0] == "results"]
     df = df.loc[:, ~df.columns.str[1].isin(EXCLUDED_RESULTS_KEYS)]
+    # df.columns.str[1].str = df.columns.str[1].str.removeprefix("leaderboard_")
     df = df.loc[:, ~df.columns.str[2].isin(EXCLUDED_RESULTS_LEADERBOARDS_KEYS)]
+    df.columns = df.columns.str[1:]
+    df.columns = map(lambda x: (x[0].removeprefix("leaderboard_"), *x[1:]), df.columns)
     return df
 
 
@@ -83,6 +86,8 @@ def filter_configs(df):
     df = df.loc[:, df.columns.str[0] == "configs"]
     # df = df.loc[:, ~df.columns.str[1].isin(EXCLUDED_RESULTS_KEYS)]
     # df = df.loc[:, ~df.columns.str[2].isin(EXCLUDED_RESULTS_LEADERBOARDS_KEYS)]
+    df.columns = df.columns.str[1:]
+    df.columns = map(lambda x: (x[0].removeprefix("leaderboard_"), *x[1:]), df.columns)
     return df