app.py

import gradio as gr
from gradio_leaderboard import Leaderboard, SelectColumns, ColumnFilter

from src.common.paths import DOCS_PATH, DATASET_NAME


with gr.Blocks(
    title="ROMB Leaderboard v1.0",
    theme=gr.themes.Ocean(
        primary_hue=gr.themes.colors.green,
    ),
) as application:
    gr.Markdown("# 🥇 ROMB - Russian Olympiad Math Benchmark")
    gr.Markdown(f"See ROMB-1.0 dataset there - [{DATASET_NAME}](https://huggingface.co/datasets/{DATASET_NAME}).")
    with gr.Tabs():
        with gr.Tab("Leaderboard"):
            gr.Markdown("In progress...")
        with gr.Tab("Evaluate"):
            gr.Markdown((DOCS_PATH / "evaluate.md").read_text())
        with gr.Tab("Submit"):
            gr.Markdown("In progress...")


if __name__ == "__main__":
    application.launch()