43552f1 a553d47
1
2
3
4
5
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]})
