Update app.py

app.py

@@ -52,7 +52,7 @@ leaderboard2 = load_leaderboard_data("leaderboard_gaia.csv")
 with gr.Blocks() as demo:
     gr.Markdown("# 🏆 TRAIL: Trace Reasoning and Agentic Issue Localization Leaderboard")
     
-    with gr.Tab("LEADERBOARD"):
+    with gr.Tab("🏆 LEADERBOARD"):
         with gr.Row():
             with gr.Column():
                 gr.Markdown("## TRAIL-SWE Leaderboard")
@@ -61,8 +61,9 @@ with gr.Blocks() as demo:
                 gr.Markdown("## TRAIL-GAIA Leaderboard")
                 gr.Dataframe(leaderboard2)
     
-    with gr.Tab("SUBMIT ZIP"):
-        gr.Markdown("## Submit Your ZIP of JSONs")
+    with gr.Tab("🚀 SUBMIT"):
+        gr.Markdown("## Submit Your Results as ZIP")
+        gr.Markdown("See instructions in README before submitting.")
     
     #with gr.Row():
         with gr.Column():