Fix metrics

src/about.py

@@ -17,17 +17,14 @@ class Task:
 # ---------------------------------------------------
 class Tasks(Enum):
     # task_key, metric_key, title
-    task00 = Task("human_eval_solidity", "score", "HumanEval for Solidity")
-    # task01 = Task("naive_judge", "score", "NaïveJudge Average")
-    # task02 = Task("naive_judge_expert", "score", "NaïveJudge Expert")
-    # task03 = Task("naive_judge_average", "score", "NaïveJudge Average")
-    # task04 = Task("naive_judge_beginner", "score", "NaïveJudge Beginner")
-    task05 = Task("rouge1", "score", "ROUGE-unigrams")
-    task06 = Task("rouge2", "score", "ROUGE-bigrams")
-    task07 = Task("rougeL", "score", "ROUGE-Longest Common Subsequence")
-    task08 = Task("rougeLsum", "score", "ROUGE-Lsum")
-    task09 = Task("bleu", "score", "Bleu")
-    task10 = Task("brevity_penalty", "score", "Brevity Penalty")
+    # task00 = Task("human_eval_solidity", "score", "HumanEval for Solidity")
+    task01 = Task("naive_judge", "score", "NaïveJudge")
+    task02 = Task("rouge1", "score", "ROUGE-unigrams")
+    task03 = Task("rouge2", "score", "ROUGE-bigrams")
+    task04 = Task("rougeL", "score", "ROUGE-Longest Common Subsequence")
+    task05 = Task("rougeLsum", "score", "ROUGE-Lsum")
+    task06 = Task("bleu", "score", "Bleu")
+    task07 = Task("brevity_penalty", "score", "Brevity Penalty")
 # ---------------------------------------------------
 
 # Your leaderboard name