trying to write results

app.py

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