TITLE = """<h1 align="center" id="space-title"> 🏆 TOFU Leaderboard</h1>"""

INTRODUCTION_TEXT = """
TOFU leaderboard description.
"""

SHORT_NAMES = {
    "KL": "KL",
    "Grad Ascent": "Grad Ascent",
    "Gradient Difference": "Grad Diff",
    "Oracle": "Oracle",
}