Fix tasks data retrieval

src/get_results_for_task.py

@@ -5,6 +5,7 @@ import pandas as pd  # type: ignore[import]
 from datasets import get_dataset_config_names, load_dataset  # type: ignore[import]
 
 from .leaderboard_formatting import COLUMNS_PRETTY, get_columns_per_task
+from .tasks import TASKS_PRETTY_REVERSE
 
 AVAILABLE_TASKS = get_dataset_config_names(os.environ["DATASET_ID"])
 
@@ -51,9 +52,10 @@ def _get_results_dataset(task_id: str) -> pd.DataFrame:
     return results_df
 
 
-def get_results_for_task(task_id: str) -> pd.DataFrame:
+def get_results_for_task(task_pretty: str) -> pd.DataFrame:
+    task_id = TASKS_PRETTY_REVERSE[task_pretty]
     if task_id in AVAILABLE_TASKS:
-        logging.info(f"Retrieving results for {task_id}...")
+        logging.info(f"Retrieving results for {task_pretty}...")
         return _get_results_dataset(task_id)
-    logging.info(f"Generating leaderboard stub for {task_id}...")
+    logging.info(f"Generating leaderboard stub for {task_pretty}...")
     return _get_results_stub()