Spaces:
Runtime error
Runtime error
changed leaderboad to leaderboard
Browse files
app.py
CHANGED
|
@@ -11,7 +11,7 @@ class DeepRL_Leaderboard:
|
|
| 11 |
def __init__(self) -> None:
|
| 12 |
self.leaderboard= {}
|
| 13 |
|
| 14 |
-
def
|
| 15 |
if id is not None and title is not None:
|
| 16 |
id = id.strip()
|
| 17 |
title = title.strip()
|
|
@@ -81,15 +81,15 @@ def get_data_per_env(rl_env):
|
|
| 81 |
|
| 82 |
|
| 83 |
rl_leaderboard = DeepRL_Leaderboard()
|
| 84 |
-
rl_leaderboard.
|
| 85 |
-
rl_leaderboard.
|
| 86 |
-
rl_leaderboard.
|
| 87 |
-
rl_leaderboard.
|
| 88 |
-
rl_leaderboard.
|
| 89 |
-
rl_leaderboard.
|
| 90 |
-
rl_leaderboard.
|
| 91 |
-
rl_leaderboard.
|
| 92 |
-
rl_leaderboard.
|
| 93 |
|
| 94 |
RL_ENVS = rl_leaderboard.get_ids()
|
| 95 |
RL_DETAILS = rl_leaderboard.get_data()
|
|
|
|
| 11 |
def __init__(self) -> None:
|
| 12 |
self.leaderboard= {}
|
| 13 |
|
| 14 |
+
def add_leaderboard(self,id=None, title=None):
|
| 15 |
if id is not None and title is not None:
|
| 16 |
id = id.strip()
|
| 17 |
title = title.strip()
|
|
|
|
| 81 |
|
| 82 |
|
| 83 |
rl_leaderboard = DeepRL_Leaderboard()
|
| 84 |
+
rl_leaderboard.add_leaderboard('CarRacing-v0'," The Car Racing 🏎️ Leaderboard 🚀")
|
| 85 |
+
rl_leaderboard.add_leaderboard('MountainCar-v0',"The Mountain Car ⛰️ 🚗 Leaderboard 🚀")
|
| 86 |
+
rl_leaderboard.add_leaderboard('LunarLander-v2',"The Lunar Lander 🌕 Leaderboard 🚀")
|
| 87 |
+
rl_leaderboard.add_leaderboard('BipedalWalker-v3',"The BipedalWalker Leaderboard 🚀")
|
| 88 |
+
rl_leaderboard.add_leaderboard('Taxi-v3','The Taxi-v3🚖 Leaderboard 🚀')
|
| 89 |
+
rl_leaderboard.add_leaderboard('FrozenLake-v1-4x4-no_slippery','The FrozenLake-v1-4x4-no_slippery Leaderboard 🚀')
|
| 90 |
+
rl_leaderboard.add_leaderboard('FrozenLake-v1-8x8-no_slippery','The FrozenLake-v1-8x8-no_slippery Leaderboard 🚀')
|
| 91 |
+
rl_leaderboard.add_leaderboard('FrozenLake-v1-4x4','The FrozenLake-v1-4x4 Leaderboard 🚀')
|
| 92 |
+
rl_leaderboard.add_leaderboard('FrozenLake-v1-8x8','The FrozenLake-v1-8x8 Leaderboard 🚀')
|
| 93 |
|
| 94 |
RL_ENVS = rl_leaderboard.get_ids()
|
| 95 |
RL_DETAILS = rl_leaderboard.get_data()
|