Commit
Β·
3267617
1
Parent(s):
816a13f
update ui
Browse files- .gitignore +2 -0
- app.py +8 -7
.gitignore
CHANGED
@@ -11,3 +11,5 @@ eval-results/
|
|
11 |
eval-queue-bk/
|
12 |
eval-results-bk/
|
13 |
logs/
|
|
|
|
|
|
11 |
eval-queue-bk/
|
12 |
eval-results-bk/
|
13 |
logs/
|
14 |
+
|
15 |
+
.idea
|
app.py
CHANGED
@@ -200,24 +200,25 @@ def handle_upload_and_kickoff_eval(uploaded_files_list, progress=gr.Progress(tra
|
|
200 |
setup_directories()
|
201 |
|
202 |
# --- Gradio App Definition ---
|
203 |
-
with gr.Blocks(title="
|
204 |
-
gr.Markdown("# Background Submission, Evaluation & Results")
|
205 |
gr.Markdown(
|
206 |
-
|
207 |
-
|
208 |
-
|
|
|
|
|
209 |
)
|
210 |
|
211 |
with gr.Row():
|
212 |
with gr.Column(scale=1): # Upload Column
|
213 |
-
gr.Markdown("## π€ Upload
|
214 |
upload_button = gr.UploadButton(
|
215 |
"Click to Upload Directory for Evaluation",
|
216 |
file_count="directory",
|
217 |
)
|
218 |
upload_status_textbox = gr.Textbox(label="Current Status", interactive=False, lines=4)
|
219 |
|
220 |
-
with gr.Column(scale=
|
221 |
gr.Markdown("## π Results Leaderboard")
|
222 |
leaderboard_df_component = gr.DataFrame(
|
223 |
value=load_leaderboard_data, # Load initial data
|
|
|
200 |
setup_directories()
|
201 |
|
202 |
# --- Gradio App Definition ---
|
203 |
+
with gr.Blocks(title="CP-Bench Leaderboard") as demo:
|
|
|
204 |
gr.Markdown(
|
205 |
+
"""
|
206 |
+
# CP-Bench Leaderboard
|
207 |
+
|
208 |
+
This is a leaderboard for the CP-Bench dataset. You can upload your submission directory for evaluation.
|
209 |
+
"""
|
210 |
)
|
211 |
|
212 |
with gr.Row():
|
213 |
with gr.Column(scale=1): # Upload Column
|
214 |
+
gr.Markdown("## π€ Upload Submission")
|
215 |
upload_button = gr.UploadButton(
|
216 |
"Click to Upload Directory for Evaluation",
|
217 |
file_count="directory",
|
218 |
)
|
219 |
upload_status_textbox = gr.Textbox(label="Current Status", interactive=False, lines=4)
|
220 |
|
221 |
+
with gr.Column(scale=3): # Leaderboard Column
|
222 |
gr.Markdown("## π Results Leaderboard")
|
223 |
leaderboard_df_component = gr.DataFrame(
|
224 |
value=load_leaderboard_data, # Load initial data
|