rename model names

app.py

@@ -205,6 +205,8 @@ def data_load(result_file):
     original_df = original_df[original_df["Total Puzzles"] == 1000]
     # let's remove some models in the list: ["o1-preview-2024-09-12-v2", "o1-mini-2024-09-12-v2", "o1-mini-2024-09-12"]
     original_df = original_df[~original_df["Model"].isin(["o1-preview-2024-09-12-v2", "o1-mini-2024-09-12-v2", "o1-mini-2024-09-12"])]
+    # rename "o1-mini-2024-09-12-v3" with "o1-mini-2024-09-12"
+    original_df["Model"] = original_df["Model"].apply(lambda x: "o1-mini-2024-09-12" if x == "o1-mini-2024-09-12-v3" else x)
     original_df = post_processing(original_df, column_names_main, ordered_columns=main_ordered_columns, click_url=click_url, rank_column=RANKING_COLUMN)
     print(f"original_df.columns: {original_df.columns}")
     # print(original_df.columns)