Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
@@ -88,12 +88,12 @@ def extract_leaderboard_stats(game_name: str) -> pd.DataFrame:
|
|
88 |
|
89 |
# Calculate win rate against random bot using moves table
|
90 |
vs_random_query = """
|
91 |
-
SELECT COUNT(DISTINCT episode) FROM game_results gr
|
92 |
JOIN moves m ON gr.game_name = m.game_name AND gr.episode = m.episode
|
93 |
WHERE gr.game_name = ? AND m.opponent = 'random_None' AND gr.reward > 0
|
94 |
"""
|
95 |
total_vs_random_query = """
|
96 |
-
SELECT COUNT(DISTINCT episode) FROM game_results gr
|
97 |
JOIN moves m ON gr.game_name = m.game_name AND gr.episode = m.episode
|
98 |
WHERE gr.game_name = ? AND m.opponent = 'random_None'
|
99 |
"""
|
@@ -139,4 +139,4 @@ with gr.Blocks() as interface:
|
|
139 |
refresh_button.click(extract_leaderboard_stats, inputs=[leaderboard_game_dropdown], outputs=[leaderboard_table])
|
140 |
generate_button.click(generate_leaderboard_json, outputs=[download_component])
|
141 |
|
142 |
-
interface.launch()
|
|
|
88 |
|
89 |
# Calculate win rate against random bot using moves table
|
90 |
vs_random_query = """
|
91 |
+
SELECT COUNT(DISTINCT gr.episode) FROM game_results gr
|
92 |
JOIN moves m ON gr.game_name = m.game_name AND gr.episode = m.episode
|
93 |
WHERE gr.game_name = ? AND m.opponent = 'random_None' AND gr.reward > 0
|
94 |
"""
|
95 |
total_vs_random_query = """
|
96 |
+
SELECT COUNT(DISTINCT gr.episode) FROM game_results gr
|
97 |
JOIN moves m ON gr.game_name = m.game_name AND gr.episode = m.episode
|
98 |
WHERE gr.game_name = ? AND m.opponent = 'random_None'
|
99 |
"""
|
|
|
139 |
refresh_button.click(extract_leaderboard_stats, inputs=[leaderboard_game_dropdown], outputs=[leaderboard_table])
|
140 |
generate_button.click(generate_leaderboard_json, outputs=[download_component])
|
141 |
|
142 |
+
interface.launch()
|