feat<fancy>: leaderboard

app.py

@@ -7,6 +7,9 @@ import gradio as gr
 import pandas as pd
 from huggingface_hub import snapshot_download, upload_file
 
+from gradio_leaderboard import Leaderboard
+
+
 # 프로젝트 구조에 맞춰 import (src.*)
 from src.envs import RESULTS_REPO, EVAL_RESULTS_PATH
 from src.grader import grade   # grade(submission_df, team_id) -> (score_df, report_dir)
@@ -172,12 +175,13 @@ with gr.Blocks() as demo:
 
 
         with gr.Tab("리더보드"):
-            with gr.Row():
-                leaderboard_table = gr.Dataframe(
-                    value=history_state,
-                    label="graded_results.csv (집계)",
-                    interactive=False
-                )
+            leaderboard_table = Leaderboard(
+                value=history_state.rename(columns={"TOTAL": "TOTAL ⬆️"}),
+                search_columns=["TEAM", "RMSE_AC", "RMSE_AC_SCALED", "NMAE_RANGE", "NMAE_MEAN", "TOTAL ⬆️"],
+                hide_columns=[],  # 숨길 게 있으면 여기에 추가
+                filter_columns=["TEAM"],
+                label="Leaderboard",
+            )
             with gr.Row():
                 refresh_btn = gr.Button("리더보드 새로고침 (Hub 동기화)")