Add ifeval metrics

app.py

@@ -51,8 +51,9 @@ def get_leaderboard_df():
                     df.loc[model_revision, task] = float(value)
                 # IFEval has several metrics but we report just the prompt-loose-acc one
                 elif task.lower() == "ifeval":
-                    value = data["results"][first_result_key]["prompt_level_loose_acc"]
-                    df.loc[model_revision, task] = float(value)
+                    for metric in ["prompt_level_loose", "prompt_level_strict"]:
+                        value = data["results"][first_result_key][f"{metric}_acc"]
+                        df.loc[model_revision, f"{task}_{metric}"] = float(value)
                 # MMLU has several metrics but we report just the average one
                 elif task.lower() == "mmlu":
                     value = [v["acc"] for k, v in data["results"].items() if "_average" in k.lower()][0]