Update app.py

app.py

@@ -4,6 +4,7 @@ import os
 import shutil
 import json
 from zipfile import ZipFile
+import re
 
 # Function to load leaderboard data from a CSV file
 def load_leaderboard_data(csv_file_path):
@@ -51,18 +52,19 @@ leaderboard2 = load_leaderboard_data("leaderboard_gaia.csv")
 with gr.Blocks() as demo:
     gr.Markdown("# 🏆 TRAIL: Trace Reasoning and Agentic Issue Localization Leaderboard")
     
-    with gr.Row():
-        with gr.Column():
-            gr.Markdown("## TRAIL-SWE Leaderboard")
-            gr.Dataframe(leaderboard1)
-        with gr.Column():
-            gr.Markdown("## TRAIL-GAIA Leaderboard")
-            gr.Dataframe(leaderboard2)
+    with gr.Tab("LEADERBOARD"):
+        with gr.Row():
+            with gr.Column():
+                gr.Markdown("## TRAIL-SWE Leaderboard")
+                gr.Dataframe(leaderboard1)
+            with gr.Column():
+                gr.Markdown("## TRAIL-GAIA Leaderboard")
+                gr.Dataframe(leaderboard2)
     
-    with gr.Row():
+    with gr.Tab("SUBMIT ZIP"):
         gr.Markdown("## Submit Your ZIP of JSONs")
     
-    with gr.Row():
+    #with gr.Row():
         with gr.Column():
             file_input = gr.File(
                 label="Upload ZIP File",
@@ -85,5 +87,13 @@ with gr.Blocks() as demo:
                 outputs=output
             )
 
+    with open("README.md", "r", encoding="utf-8") as f:
+        README_CONTENT = f.read()
+        yaml_front_matter = re.compile(r"^---\s*.*?\s*---\s*", re.DOTALL)
+        readme_content_without_yaml = re.sub(yaml_front_matter, "", README_CONTENT).strip()
+
+    with gr.Tab("README"):
+        gr.Markdown(readme_content_without_yaml)
+
 if __name__ == "__main__":
     demo.launch()