src/dummy_leaderboard.py

import pandas as pd

HEADERS = ["score1", "score2", "score3", "score4"]
TYPES = ["number", "number", "number", "number"]
DUMMY_LEADERBOARD = pd.DataFrame({"GPT-4": [0.4, 0.3, 0.2, 0.1], "GPT-3": [0.1, 0.2, 0.3, 0.4]})