Update app.py

app.py

@@ -35,7 +35,7 @@ def filter_data(model, scenario):
     return pd.DataFrame([pass_at_k])
 
 # Initialize the leaderboard
-def init_leaderboard(dataframe):
+def init_leaderboard(dataframe, height=600):
     if dataframe is None or dataframe.empty:
         raise ValueError("Leaderboard DataFrame is empty or None.")
     return Leaderboard(
@@ -51,6 +51,7 @@ def init_leaderboard(dataframe):
         filter_columns=[],  # Filters for the columns
         bool_checkboxgroup_label="Hide models",
         interactive=False,
+        height=height,
     )
 
 # Gradio interface
@@ -73,7 +74,7 @@ with demo:
         'pass@10': estimate_pass_at_k(x['Runs'].values, x['Successes'].values, 10).mean()
     }, index=['pass@1', 'pass@5', 'pass@10'])).reset_index()
 
-    leaderboard = init_leaderboard(complete_pass_at_k)
+    leaderboard = init_leaderboard(complete_pass_at_k, height=800)
 
     model_input = gr.Dropdown(choices=models, label="Select Model")
     scenario_input = gr.Dropdown(choices=scenarios, label="Select Category")