Update

app.py

@@ -66,7 +66,7 @@ else:
                 "dynamic_point": st.column_config.LineChartColumn("Dynamic Point", y_min=0, y_max=5000),
                 "problem_link": st.column_config.LinkColumn("Link", display_text="Open"),
             },
-            height=600,
+            height=800,
             column_order=("problem_id", "dynamic_point", "problem_link"),
             hide_index=True,
         )
@@ -105,7 +105,7 @@ else:
                 "pass@1": [0 for model_name in model_list],
                 "beyond@t": [0 for model_name in model_list],
                 "beyond@m": [0 for model_name in model_list],
-                "model_progress": [random.randint(0, problem_count+1) for model_name in model_list],
+                "model_progress": [int(random.randint(0, problem_count+1)) for model_name in model_list],
             }
         )
 
@@ -120,5 +120,5 @@ else:
                 "model_progress": st.column_config.ProgressColumn("Progress", min_value=0, max_value=problem_count, format="plain"),
             },
             column_order=("model_name", "pass@1", "beyond@t", "beyond@m", "model_progress"),
-            hide_index=True,
+            height=800,
         )