Function load_leaderboard

SWF/src/utils.py:406–424

(
        names: List[str],
        leaderboards: List[str] = ["IFEval", "MATH", "GPQA", "MuSR", "MMLU", "Average"],
        width: int = 10,
    )

def load_leaderboard(
        names: List[str],
        leaderboards: List[str] = ["IFEval", "MATH", "GPQA", "MuSR", "MMLU", "Average"],
        width: int = 10,
    ):
    header = ["name"] + leaderboards
    collects = [header]
    for name in names:
        collect = [DOCUMENTATIONS_R[name][col] for col in header]
        collects.append(collect)
    
    collects = [
        ' '.join([collect[0].rjust(width+2)] + [str(e).ljust(width) for e in collect[1:]])
        for collect in collects
    ]
    collects = '\n'.join(collects)
    collects += "\n\nCaption: **Overview** of each column." + '\n\n' + '\n\n'.join([f'**{col}**: ' + LEADERBOARD[col] for i, col in enumerate(leaderboards, 1)])
    collects += f"\nYou can only select from {names} with HP > 0 (enclosed in <agent> <agent_name>)."
    return collects


def gini_coefficient(wealth):