still trying to make the leaderboard

app.py

@@ -78,11 +78,11 @@ def submit_boundary(
         write_results(record, result)
         output = str(result)
     except Exception as e:
-        output = f"Error during evaluation:\n{e}"
+        raise gr.Error(f"Error during evaluation:\n{e}")
     finally:
         tmp_boundary_path.unlink()
 
-    return output
+    return "✅ Your submission has been received! Sit tight and your scores will appear on the leaderboard shortly."
 
 def read_boundary(filename):
     local_path = hf_hub_download(
@@ -147,6 +147,12 @@ def gradio_interface() -> gr.Blocks:
                     hide_columns=["result_filename", "submission_filename", "minimize_objective", "boundary_json", "evaluated"],
                     # filter_columns=["T", "Precision", "Model Size"],
                 )
+
+                def update_leaderboard(problem_type):
+                    return get_leaderboard(problem_type)
+                
+                leaderboard_type.change(fn=update_leaderboard, inputs=leaderboard_type, outputs=leaderboard_df)
+
             with gr.TabItem("Submit", elem_id="boundary-benchmark-tab-table"):
                 gr.Markdown(
                     """
@@ -174,9 +180,12 @@ def gradio_interface() -> gr.Blocks:
                     submit_boundary,
                     inputs=[problem_type, boundary_file, user_state],
                     outputs=output,
+                ).then(
+                    fn=update_leaderboard,
+                    inputs=[problem_type],
+                    outputs=[leaderboard_df]
                 )
-
-            
+ 
     return demo