Spaces:
Running
Running
Updated the drop down of the leaderboard
Browse files
app.py
CHANGED
@@ -589,10 +589,16 @@ with gr.Blocks() as interface:
|
|
589 |
"# LLM Model Leaderboard\n"
|
590 |
"Track performance across different games!"
|
591 |
)
|
|
|
|
|
592 |
leaderboard_game_dropdown = gr.Dropdown(
|
593 |
-
choices=
|
594 |
label="Select Game",
|
595 |
-
value=
|
|
|
|
|
|
|
|
|
596 |
)
|
597 |
leaderboard_table = gr.Dataframe(
|
598 |
value=extract_leaderboard_stats("Aggregated Performance"),
|
@@ -602,7 +608,10 @@ with gr.Blocks() as interface:
|
|
602 |
refresh_btn = gr.Button("π Refresh")
|
603 |
|
604 |
def _update_leaderboard(game: str) -> pd.DataFrame:
|
605 |
-
|
|
|
|
|
|
|
606 |
|
607 |
leaderboard_game_dropdown.change(
|
608 |
_update_leaderboard,
|
|
|
589 |
"# LLM Model Leaderboard\n"
|
590 |
"Track performance across different games!"
|
591 |
)
|
592 |
+
# Use the same display logic as Game Arena
|
593 |
+
leaderboard_config = create_player_config()
|
594 |
leaderboard_game_dropdown = gr.Dropdown(
|
595 |
+
choices=leaderboard_config["available_games"],
|
596 |
label="Select Game",
|
597 |
+
value=(
|
598 |
+
leaderboard_config["available_games"][0]
|
599 |
+
if leaderboard_config["available_games"]
|
600 |
+
else "No Games Found"
|
601 |
+
),
|
602 |
)
|
603 |
leaderboard_table = gr.Dataframe(
|
604 |
value=extract_leaderboard_stats("Aggregated Performance"),
|
|
|
608 |
refresh_btn = gr.Button("π Refresh")
|
609 |
|
610 |
def _update_leaderboard(game: str) -> pd.DataFrame:
|
611 |
+
# Map display name back to internal key
|
612 |
+
display_to_key = leaderboard_config.get("game_display_to_key", {})
|
613 |
+
internal_game = display_to_key.get(game, game)
|
614 |
+
return extract_leaderboard_stats(internal_game)
|
615 |
|
616 |
leaderboard_game_dropdown.change(
|
617 |
_update_leaderboard,
|