Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
|
@@ -44,14 +44,14 @@ class LeaderboardServer:
|
|
| 44 |
def __init__(self, server_address):
|
| 45 |
self.server_address = server_address
|
| 46 |
self.repo_type = "dataset"
|
| 47 |
-
self.local_leaderboard = snapshot_download(self.server_address,repo_type=self.repo_type, token=HF_TOKEN)
|
| 48 |
print(self.local_leaderboard)
|
| 49 |
def on_submit(self):
|
| 50 |
-
self.local_leaderboard = snapshot_download(self.server_address,repo_type=self.repo_type, token=HF_TOKEN)
|
| 51 |
|
| 52 |
def get_leaderboard(self):
|
| 53 |
results = []
|
| 54 |
-
for submission in glob.glob(os.path.join(self.local_leaderboard, "
|
| 55 |
data = json.load(open(submission))
|
| 56 |
submission_id = data["metadata"]["model_description"]
|
| 57 |
local_results = {group: data["results"][group]['acc'] for group in data['results']}
|
|
@@ -60,11 +60,11 @@ class LeaderboardServer:
|
|
| 60 |
dataframe = pd.DataFrame.from_records(results)
|
| 61 |
return dataframe
|
| 62 |
|
| 63 |
-
def save_json(self,file) -> None:
|
| 64 |
filename = os.path.basename(file)
|
| 65 |
api.upload_file(
|
| 66 |
path_or_fileobj=file,
|
| 67 |
-
path_in_repo=f"data/{filename}",
|
| 68 |
repo_id=self.server_address,
|
| 69 |
repo_type=self.repo_type,
|
| 70 |
token=HF_TOKEN,
|
|
@@ -84,6 +84,7 @@ MAX_SUBMISSIONS_PER_24H = 2
|
|
| 84 |
# CHALLENGE_NAME = 'NOTSOFAR1'
|
| 85 |
|
| 86 |
|
|
|
|
| 87 |
with (gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css="footer {visibility: hidden}") as main):
|
| 88 |
app_state = gr.State({})
|
| 89 |
# with gr.Row():
|
|
@@ -195,7 +196,7 @@ with (gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css="footer {visibility
|
|
| 195 |
# 'file_name': os.path.basename(submission_zip),
|
| 196 |
# 'file_size_mb': os.path.getsize(submission_zip) / 1024 / 1024,
|
| 197 |
# 'ip': request.client.host}
|
| 198 |
-
leaderboard_server.save_json(submission)
|
| 199 |
|
| 200 |
try:
|
| 201 |
gr.Info('Processing submission...')
|
|
|
|
| 44 |
def __init__(self, server_address):
|
| 45 |
self.server_address = server_address
|
| 46 |
self.repo_type = "dataset"
|
| 47 |
+
self.local_leaderboard = snapshot_download(self.server_address,repo_type=self.repo_type, token=HF_TOKEN,local_dir = "/content")
|
| 48 |
print(self.local_leaderboard)
|
| 49 |
def on_submit(self):
|
| 50 |
+
self.local_leaderboard = snapshot_download(self.server_address,repo_type=self.repo_type, token=HF_TOKEN,local_dir = "/content")
|
| 51 |
|
| 52 |
def get_leaderboard(self):
|
| 53 |
results = []
|
| 54 |
+
for submission in glob.glob(os.path.join(self.local_leaderboard, "data") + "/*.json"):
|
| 55 |
data = json.load(open(submission))
|
| 56 |
submission_id = data["metadata"]["model_description"]
|
| 57 |
local_results = {group: data["results"][group]['acc'] for group in data['results']}
|
|
|
|
| 60 |
dataframe = pd.DataFrame.from_records(results)
|
| 61 |
return dataframe
|
| 62 |
|
| 63 |
+
def save_json(self,file, submission_name) -> None:
|
| 64 |
filename = os.path.basename(file)
|
| 65 |
api.upload_file(
|
| 66 |
path_or_fileobj=file,
|
| 67 |
+
path_in_repo=f"data/{submission_name}_{filename}",
|
| 68 |
repo_id=self.server_address,
|
| 69 |
repo_type=self.repo_type,
|
| 70 |
token=HF_TOKEN,
|
|
|
|
| 84 |
# CHALLENGE_NAME = 'NOTSOFAR1'
|
| 85 |
|
| 86 |
|
| 87 |
+
# if __name__ == '__main__':
|
| 88 |
with (gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css="footer {visibility: hidden}") as main):
|
| 89 |
app_state = gr.State({})
|
| 90 |
# with gr.Row():
|
|
|
|
| 196 |
# 'file_name': os.path.basename(submission_zip),
|
| 197 |
# 'file_size_mb': os.path.getsize(submission_zip) / 1024 / 1024,
|
| 198 |
# 'ip': request.client.host}
|
| 199 |
+
leaderboard_server.save_json(team_name,submission)
|
| 200 |
|
| 201 |
try:
|
| 202 |
gr.Info('Processing submission...')
|