v24

app.py

@@ -597,11 +597,11 @@ We compute multiple metrics:
 
     with gr.Tabs():
         with gr.Tab("📤 Submit"):
-            file_input = gr.File(label="Upload submission.json", file_types=[".json"])
+            file_input = gr.File(label="Upload submission in json", file_types=[".json"])
             submit_btn = gr.Button("🚀 Submit & Evaluate", variant="primary")
             status = gr.Textbox(label="Result", lines=10, interactive=False)
 
-            gr.Markdown("### Sample submission.json")
+            gr.Markdown("### Sample submission")
             sample = gr.Textbox(value=sample_submission_text(), lines=6)
 
         with gr.Tab("🏅 Leaderboard"):