add

src/populate.py

@@ -113,6 +113,7 @@ def get_leaderboard_df(EVAL_REQUESTS_PATH, task_type) -> pd.DataFrame:
     
     ranks = df_res[list(name2short_name.values())].rank(ascending = ascending)
     df_res.rename(columns={'model': 'Model', 'author': 'Author', 'email': 'Email', 'paper_url': 'Paper URL', 'github_url': 'Github URL', 'submitted_time': 'Time'}, inplace=True)
+    df_res.Model.replace('Relbench User Study', 'Human Data Scientist', inplace=True)
     df_res['Average Rank⬆️'] = ranks.mean(axis=1)
     df_res.sort_values(by='Average Rank⬆️', ascending=True, inplace=True)
     #df_res = make_bold(df_res, list(name2short_name.values()), ascending = ascending)