trying to write results

app.py

@@ -151,12 +151,14 @@ def gradio_interface() -> gr.Blocks:
             leaderboard_type = gr.Dropdown(PROBLEM_TYPES, value="geometrical", label="Problem Type")
             refresh_btn = gr.Button("Refresh Leaderboard")
             leaderboard_df = get_leaderboard(leaderboard_type)
+            leaderboard_output = gr.Dataframe(label="Leaderboard")
+
 
             # Trigger refresh when button is clicked
             refresh_btn.click(
                 lambda pt: get_leaderboard(pt).to_dict(orient="records"),
                 inputs=[leaderboard_type],
-                outputs=[leaderboard_df],
+                outputs=[leaderboard_output],
             )
 
             Leaderboard(