More work

app.py

@@ -113,7 +113,7 @@ def create_interface():
         )
 
         with gr.Tab("Leaderboard"):
-            # Function to refresh leaderboard
+
             def refresh_leaderboard():
                 return load_results()
 
@@ -129,8 +129,14 @@ def create_interface():
                 fn=refresh_leaderboard,
                 outputs=leaderboard_table,
             )
+            
+            # Auto-refresh every 30 seconds
+            timer = gr.Timer(30)  # 30 seconds interval
+            timer.tick(
+                fn=refresh_leaderboard,
+                outputs=leaderboard_table,
+            )
 
-        # Hidden components for API endpoint
         with gr.Column(visible=False):
             team_input = gr.Textbox()
             ttft_input = gr.Number()
@@ -142,8 +148,6 @@ def create_interface():
             byte_perp_input = gr.Number()
             word_perp_input = gr.Number()
             submit_output = gr.Textbox()
-            
-            # Create API endpoint
             submit_btn = gr.Button("Submit")
             submit_btn.click(
                 fn=api_submit_results,
@@ -160,6 +164,8 @@ def create_interface():
                 ],
                 outputs=submit_output,
                 api_name="submit_results",
+                concurrency_limit=10,
+                show_progress="full",
             )
 
     return demo
@@ -169,9 +175,10 @@ def create_interface():
 if __name__ == "__main__":
     demo = create_interface()
 
-    demo.queue()
+    demo.queue(max_size=100)
     demo.launch(
         server_name="0.0.0.0",
         server_port=7860,
         share=True,
+        max_threads=40,
     )