import pandas as pd

# HEADERS = ["score1", "score2", "score3", "score4"]
TYPES = ["str", "number"]
DUMMY_LEADERBOARD = pd.DataFrame({"Model": ["gpt4", "gpt3"], "Score1": [0.1, 0.2], "Score2": [0.3, 0.4]})