app.py

import gradio as gr
from apscheduler.schedulers.background import BackgroundScheduler
from gradio_leaderboard import ColumnFilter, Leaderboard, SelectColumns

from src.about import INTRODUCTION_TEXT, TITLE
from src.display.css_html_js import custom_css
from src.envs import API, REPO_ID
from src.leaderboard.populate import load_results
from src.leaderboard.utils import COLUMNS


def restart_space():
    API.restart_space(repo_id=REPO_ID)


def init_leaderboard():
    dataframe = load_results()

    if dataframe is None or dataframe.empty:
        raise ValueError("Leaderboard DataFrame is empty or None.")

    return Leaderboard(
        value=dataframe,
        datatype=[c.type for c in COLUMNS],
        select_columns=SelectColumns(
            default_selection=[c.name for c in COLUMNS if c.displayed_by_default],
            cant_deselect=[c.name for c in COLUMNS if c.never_hidden],
            label="Select Columns to Display:",
        ),
        search_columns=[c.name for c in COLUMNS if c.searchable],
        hide_columns=[c.name for c in COLUMNS if c.hidden],
        filter_columns=[],
        bool_checkboxgroup_label="Hide models",
        interactive=False,
    )


demo = gr.Blocks(css=custom_css)
with demo:
    gr.HTML(TITLE)
    gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")

    with gr.Tabs(elem_classes="tab-buttons") as tabs:
        with gr.TabItem("🏅 LLM Benchmark", elem_id="llm-benchmark-tab-table", id=0):
            leaderboard = init_leaderboard()


scheduler = BackgroundScheduler()
scheduler.add_job(restart_space, "interval", seconds=3600)
scheduler.start()
demo.queue(default_concurrency_limit=40).launch()