added all the metrics

src/display/about.py

@@ -11,9 +11,12 @@ class Task:
 # Init: to update with your specific keys
 class Tasks(Enum):
     # task_key in the json file, metric_key in the json file, name to display in the leaderboard 
-    task0 = Task("task_name1", "metric_name", "MMLU")
-    task1 = Task("task_name2", "metric_name", "Human Eval")
-    task2 = Task("task_name3", "metric_name", "ARC")
+    task0 = Task("MMLU", "metric_name", "MMLU")
+    task1 = Task("Human Eval", "metric_name", "Human Eval")
+    task2 = Task("ARC", "metric_name", "ARC")
+    task3 = Task("HellaSwag", "metric_name", "HellaSwag")
+    task4 = Task("GSM8K", "metric_name", "GSM8K")
+    task5 = Task("Winogrande", "metric_name", "Winogrande")
     
 
 # Your leaderboard name