Replace categories

app.py

@@ -8,7 +8,7 @@ from gradio_modal import Modal
 from content import (HEADER_MARKDOWN, LEADERBOARD_TAB_TITLE_MARKDOWN, SUBMISSION_TAB_TITLE_MARKDOWN,
                      MODAL_SUBMIT_MARKDOWN,
                      SUBMISSION_DETAILS_MARKDOWN, RANKING_AFTER_SUBMISSION_MARKDOWN, MORE_DETAILS_MARKDOWN)
-from server import LeaderboardServer
+from server import LeaderboardServer, categories
 
 leaderboard_server = LeaderboardServer()
 
@@ -134,8 +134,6 @@ footer {visibility: hidden}
 
 """
 
-categories = ['Czech Math Reasoning', 'General Reasoning', 'Historical', 'Knowledge', 'Language Modeling', 'NER', 'NLI', 'Sentiment', 'Summarization', 'Syntactical Reasoning', 'Topic Classification']
-
 with (gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main):
     with gr.Row():
         with gr.Row():

server.py

@@ -18,6 +18,7 @@ REPO = f"{ORG}/LLM_benchmark_data"
 HF_TOKEN = os.environ.get("HF_TOKEN")
 TASKS_METADATA_PATH = "./tasks_metadata.json"
 
+categories = ['Czech Math Reasoning', 'General Reasoning', 'Historical', 'Knowledge', 'Language Modeling', 'NER', 'NLI', 'Sentiment', 'Summarization', 'Syntactical Reasoning', 'Topic Classification']
 
 class LeaderboardServer:
     def __init__(self):