Update labels

src/about.py

@@ -17,8 +17,8 @@ class Task:
 # ---------------------------------------------------
 class Tasks(Enum):
     # task_key, metric_key, title
-    task00 = Task("naive_judge", "score", "NaïveJudge")
-    task01 = Task("human_eval_solidity", "score", "HumanEval Solidity (9 questions)")
+    task00 = Task("naive_judge", "score", "NaïveJudge (11)")
+    task01 = Task("human_eval_solidity", "score", "HumanEval Solidity (9)")
     task02 = Task("rouge1", "score", "ROUGE-unigrams")
     task03 = Task("rouge2", "score", "ROUGE-bigrams")
     task04 = Task("rougeL", "score", "ROUGE-Longest Common Subsequence")